Software Testing and Analysis Research (STAR) Team at SIT
STAR members
STAR Community
Software testing
Aim to improve the quality of complex software systems by automatically generating test suites from complex software systems. Ongoing 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 systems.
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 localization 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 the vasculature and medical devices
ASTERIx: Automatic System Testing of inteRactive software applIcations [SNF Swiss National Foundation project]
CURIX: Cloud Reliable Infrastructure [Industrial collaboration with IC information company AG]
Self-healing Cloud systems
Virtual Physiological Blodo [PASC Swiss National Project]
Automatic generation of High Performance Computing frameworks for blood flow simulations in vasculature and medical devices
-
2020
July
- The slides of the speakers at the New Faculty Symposium at ICSE 2020 are available here. Please contact mp@sit.org for the password to access the slides.
-
2019
October
- We have opening Postdoc and PhD positions in our group! More info is available here.
May
- Two new PhD students Ali Mohebbi and Rahim Heydarov have joined the STAR group. Welcome!
April
- The paper "Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies" by Valerio Terragni, Mauro Pezzè and Francesco A. Bianchi ICST 2019 has been awarded the IEEE TCSE Distinguished Paper Award
- The paper "Energy-Based Anomaly Detection A New Perspective for Predicting Software Failures" by Cristina Monni and Mauro Pezzè was accepted at ICSE 2019 NIER track and has been awarded the Best Paper Award (NIER track).
- ACM TOSEM - Mauro Pezzè Editor in Chief
March
- New Faculty Symposium @ICSE 2020 - Mauro Pezzè co-chair
February
- The paper "An RBM Anomaly Detector for the Cloud" by Cristina Monni, Mauro Pezzè and Gaetano Prisco was accepted at ICST 2019.
- TAV-CPS-IoT @ISSTA 2019 Mauro Pezzè co-chair, Valerio Terragni PC-Member
January
- The paper "Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies" by Valerio Terragni, Mauro Pezzè and Francesco A. Bianchi was accepted at ICST 2019.
-
2018
July
- The paper "Effectiveness and Challenges in Generating Concurrent Tests for Thread-safe Classes" by Valerio Terragni and Mauro Pezzè was accepted at ASE 2018.
May
- The paper "Translating Code Comments to Procedure Specification" by Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos was accepted at ISSTA 2018.
- The paper "RepliComment: Identifying Clones in Code Comments" by Arianna Blasi and Alessandra Gorla was accepted at ICPC 2018.
Interested in research with Prof. Mauro Pezzè?
Apply now for your PhD or postdoc research.
