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:
  • 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:
  • 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:
  • 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:
  • 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:
  • 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