STAR@SIT
Software Testing and Analysis Research team
The Software Testing and Analysis Chair
Description
News & Highlights
People
Research
Publications
Projects & Collaborations
News
Highlights
People
Research
Software testing
Aim to improve the quality of complex software systems by automatically generating test suites form complex software systems. On going research on:
Testing Concurrent and Distributed Systems
Generation of concurrent test cases (inputs, interleavings and oracles) for shared memory, message passing and event driven system.
Latest Results:
Latest Results:
- Survey paper on recent trends of testing concurrent systems (TSE 2018).
- Reproduction of concurrency failures from stack traces (FSE 2017).
- Generation of concurrent test cases (ASE 2018).
Testing Interactive Applications
Generation of test cases (interaction sequences and oracles) for desktop, mobile, event driven and human-centric applications.
Latest Results:
Latest Results:
- Test case generators for interactive applications relying on semantic information (ICSE 2017)
- Q-Learning (ICST 2012, ICSE 2011) and Web of Data (ISSTA 2014)
Test oracles
Generation of test oracles from intrinsic software redundancy and natural language annotations.
Latest Results:
Latest Results:
- Generation of code assertions from Javadoc comments (ISSTA 2016 and 2018).
- Study of intrinsic software redundancy (ICSE 2015).
- Oracle generation from intrinsic redundancy (ICSE 2014).
Self-healing complex systems
Failure prediction, fault localization, self-healing on-demand for complex software applications and cloud system.
Testing concurrent and distributed systems
Generation of concurrent test cases (inputs, interleavings and oracles) for shared memory, message passing and event driven system.
Latest Results:
Latest Results:
- Automatic generation of workarounds for web applications (TOSEM 2015, FSE 2010) and general purpose applications (ICSE 2013).
- Fault localisation in cloud systems (ICST 2018).
Program Analysis
Symbolic analysis of complex software systems
Generation of concurrent test cases (inputs, interleavings and oracles) for shared memory, message passing and event driven system.
Latest Results:
Latest Results:
- Symbolic execution of complex heap data structures (ISSTA 2017) and reuse of constraint proofs (ICSE 2017).
Engineering scientific software systems
Platforms for automatically generating hybrid scientific simulators.
Ongoing projects
Automatic Testing and Analysis
- Automatic System Testing of inteRactive software applIcations (ASTERIx, SNF Swiss National Foundation project)
Self-healing and self adaptive systems
- Cloud Reliable Infrastructure (CURIX, Industrial collaboration with IC information company AG)
- Self-healing Cloud systems of our specialist in 30 minutes
Engineering High Performance Simulators
- Virtual Physiological Blodo (PASC Swiss National Project)
- Automatic generation of High Performance Computing frameworks for blood flow simulations in vasculature and medical devices
Publications
Projects
Collaborations
Cookies Statement
We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners who may combine it with other information that you've provided to them or that they've collected from your use of their services.
Data Protection Statement
In the course of completing an application for study, you will provide the SIT with information about yourself. The SIT Applicant Privacy Policy describes how we collect and use your personal data during the application process, both before and after you submit your application, in accordance with the General Data Protection Regulation (GDPR).
We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners who may combine it with other information that you've provided to them or that they've collected from your use of their services.
OK
© 2019-2020. All rights reserved
Contact Us
About this site