35 citations · 129 across the 28 of their papers we have counts for
5 papers · 1 filter
An Exploratory Study of Field Failures
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore +1
Field failures, that is, failures caused by faults that escape the testing phase leading to failures in the field, are unavoidable. Improving verification and validation activities…
VART: A Tool for the Automatic Detection of Regression Faults
Fabrizio Pastore, Leonardo Mariani
In this paper we present VART, a tool for automatically revealing regression faults missed by regression test suites. Interestingly, VART is not limited to faults causing crashing…
BDCI: Behavioral Driven Conflict Identification
Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
Source Code Management (SCM) systems support software evolution by providing features, such as version control, branching, and conflict detection. Despite the presence of these fea…
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions
Fabrizio Pastore, Leonardo Mariani
This paper presents the result of our experience with the ap- plication of runtime verification, testing and static analysis techniques to several industrial projects. We discuss t…
Timed k-Tail: Automatic Inference of Timed Automata
Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
Accurate and up-to-date models describing the be- havior of software systems are seldom available in practice. To address this issue, software engineers may use specification minin…