Software Testing and Analysis Research (STAR) Team at SIT

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
1
Automatic Testing and Analysis

ASTERIx: Automatic System Testing of inteRactive software applIcations [SNF Swiss National Foundation project]

2
Self-healing and self adaptive systems

CURIX: Cloud Reliable Infrastructure [Industrial collaboration with IC information company AG]

Self-healing Cloud systems

3
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

  • 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

     

    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.