Mattia Vivanti

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Topics

Software Testing

Symbolic Execution

Top Venues

Publications

José Miguel Rojas, Mattia Vivanti, Andrea Arcuri, Gordon Fraser
A detailed investigation of the effectiveness of whole test suite generation. Empir. Softw. Eng. 22 (2) (2017)
Giovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti
Dynamic Data Flow Testing of Object Oriented Systems. ICSE (1) (2015)
José Miguel Rojas, José Campos, Mattia Vivanti, Gordon Fraser, Andrea Arcuri
Combining Multiple Coverage Criteria in Search-Based Unit Test Generation. SSBSE (2015)
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
On the Right Objectives of Data Flow Testing. ICST (2014)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component. Softw. Qual. J. 22 (2) (2014)
Mattia Vivanti
Dynamic data-flow testing. ICSE Companion (2014)
Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser
Search-based data-flow test generation. ISSRE (2013)
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
Quantifying the complexity of dataflow testing. AST (2013)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
An industrial case study of the effectiveness of test generators. AST (2012)
Francesca Arcelli, Marco Zanoni, Riccardo Porrini, Mattia Vivanti
A model proposal for program comprehension. DMS (2010)