News

Apr. 2016 The paper [PDF] "Automatic Generation of Oracles for Exceptional Behaviors" by Alberto Goffi, Alessandra Gorla, Michael D. Ernst and Mauro Pezzè was accepted at ISSTA 2016.
Feb. 2016 The doctoral symposium papers: "Testing Concurrent Systems" by Francesco Bianchi, "Semantic Testing of Interactive Applications" by Daniele Zuddas and "Self-Healing Cloud Applications" by Rui Xin were accepted at ICST 2016.
Oct. 2015 The paper "Bidirectional Symbolic Analysis for Effective Branch Testing" by Mauro Baluda, Giovanni Denaro and Mauro Pezzè will appear on Transactions on Software Engineering.
Oct. 2015 The project "ASYST: Automatic System Testing" was founded by SNF.
Jun. 2015 The paper "Recent Advances in Automatic Black-Box Testing" by Leonardo Mariani, Mauro Pezzè and Daniele Zuddas will appear on Advances in Computers.
May. 2015 The paper "Symbolic Execution of Programs with Heap Inputs" by Pietro Braione, Giovanni Denaro and Mauro Pezzè was accepted at ESEC/FSE 2015.
May. 2015 The paper "Synthesis of Equivalent Method Calls in Guava" by Andrea Mattavelli, Alberto Goffi and Alessandra Gorla was accepted at SSBSE 2015 Challenge.
May. 2015 The paper "Scalable Program Analysis through Proof Caching" by Andrea Aquino was accepted at ISSTA 2015 Doctoral Symposium.
Apr. 2015 Prof. Mauro Pezzè will be the representative for the USI Faculty of Informatics at EXPO2015 for the roundtable "A liveable present for an intelligent future".
Apr. 2015 The paper "Efficient Analysis of Event Processing Applications" by Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè and Matteo Pradella was accepted at DEBS 2015.
Mar. 2015 The paper "Reusing Constraint Proofs in Program Analysis" by Andrea Aquino, Francesco Bianchi, Meixian Chen, Giovanni Denaro and Mauro Pezzè was accepted at ISSTA 2015.
Mar. 2015 The paper "Automated Test Oracles: A Survey" by Mauro Pezzè and Cheng Zhang will appear on Advances in Computers.
Feb. 2015 The paper "Towards an engineering methodology for multi-model scientific simulations" by Alessandro Margara, Mauro Pezzè, Igor Pivkin and Mauro Santoro was accepted at SE4HPCS 2015.
Feb. 2015 Prof. Mauro Pezzè will be the keynote speaker at AST 2015.
Jan. 2015 The paper "Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications" by Antonio Carzaniga, Alessandra Gorla, Nicolò Perino and Mauro Pezzè will appear on Transactions on Software Engineering and Methodology.
Jan. 2015 The paper "Kriging-based Self-adaptive Cloud Controllers" by Alessio Gambi, Mauro Pezzè and Giovanni Toffetti will appear on Transactions on Services Computing.
Dec. 2014 The technical briefing "Reactive Programming: a Walkthrough" by Guido Salvaneschi, Alessandro Margara and Giordano Tamburrelli was accepted at ICSE 2015.
Dec. 2014 The paper: "Measuring Software Redundancy" by Antonio Carzaniga, Andrea Mattavelli and Mauro Pezzè was accepted at ICSE 2015.
Dec. 2014 The paper: "Dynamic Data Flow Testing of Object Oriented Systems" by Giovanni Denaro, Alessandro Margara, Mauro Pezzè and Mattia Vivanti was accepted at ICSE 2015.
Jun. 2014 The paper: [PDF] "Search-based Synthesis of Equivalent Method Sequences" by Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè and Paolo Tonella was accepted at FSE 2014.
Jun. 2014 Prof. Mauro Pezzè held a distinguished lecture on "Exploiting intrinsic redundancy to increase software reliability" at the University of Luxembourg.
Apr. 2014 The paper: "Link: Exploiting the Web of Data to Generate Test Inputs" by Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli and Mauro Santoro was accepted at ISSTA 2014.
Mar. 2014 The doctoral symposium paper: "Reusing Constraint Proofs for Scalable Program Analysis" by Meixian Chen was accepted at ISSTA 2014.
Mar. 2014 Prof. Mauro Pezzè will be the keynote speaker at SSBSE 2014.
Mar. 2014 The doctoral symposium papers: [PDF] "Dynamic Data Flow Testing" by Mattia Vivanti, [PDF] "Understanding the Redundancy of Software Systems" by Andrea Mattavelli, and [PDF] "Automatic Generation of Cost-Effective Test Oracles" by Alberto Goffi were accepted at ICSE 2014.
Jan. 2014 [PDF] The paper: "Mining Behavior Models from User-Intensive Web Applications" by Carlo Ghezzi, Mauro Pezzè, Michele Sama, and Giordano Tamburrelli was accepted at ICSE 2014.
Jan. 2014 [PDF] The paper: "Cross-Checking Oracles from Intrinsic Software Redundancy" by Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, and Mauro Pezzè was accepted at ICSE 2014.
Dec. 2013 [PDF] The paper: "On the Right Objectives of Data Flow Testing" by Giovanni Denaro, Mauro Pezzè and Mattia Vivanti was accepted at ICST 2014.
Dec. 2012 The paper "Generating Effective Integration Test Cases from Unit Ones" by Mauro Pezzè, Konstantin Rubinov and Jochen Wuttke was accepted for publication at ICST 2013.
Dec. 2012 Alessio Gambi and Mario Bisignani won the ATED - ICT Ticino price.
Nov. 2012 The paper "Automatic Recovery from Runtime Failures" by Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino and Mauro Pezzè was accepted for publication at ICSE 2013.
Nov. 2012 The paper "Kriging Controllers for Cloud Applications" by Alessio Gambi, Giovanni Toffetti, Mauro Pezzè and Cesare Pautasso was accepted for publication in IEEE Internet Computing.
Oct. 2012 The paper "Graph Transformations and Software Engineering: Success Stories and Lost Chances" by Giovanni Toffetti and Mauro Pezzè was accepted for publication in the Journal of Visual Languages & Computing.
Oct. 2012 Amazon selected the work of Alessio Gambi, Giovanni Toffetti and Mauro Pezzè on Kriging-based cloud controllers to receive a $10,000 AWS in Education Research grant.

Software Testing and Analysis Research

The Software Testing and Analysis Research group of the University of Lugano focuses on the definition of techniques to design and develop high-quality software systems.

Our research addresses both effective software quality practices and emerging software engineering paradigms: software testing, static and dynamic program analysis, symbolic execution, design of self-healing systems, adaptive services management, and cloud applications design.

Star group 2013