Chair of Software Testing and Analysis
at Schaffhausen Institute of Technology
Description
Prof. Mauro Pezzè
Head of the Chair of Software Testing and Analysis
at Schaffhausen Institute of Technology
He founded the STAR research laboratory of USI Università della Svizzera italiana in 2007, and the LTA research laboratory of Università degli studi di Milano Bicocca in 2000, and is now building the research team of the chair of Software Quality and Cybersecurity of SIT Schaffhausen Institute of Technology.

Mauro Pezzè has advised over 40 PhD students who successfully graduated and occupy prestigious positions in industry and academy.
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
Latest news