29 citations · 151 across the 34 of their papers we have counts for
10 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…
Fragmented Monitoring
Oscar Cornejo, Daniela Briola, Daniela Micucci +1
Field data is an invaluable source of information for testers and developers because it witnesses how software systems operate in real environments, capturing scenarios and configu…
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…
Verifying Policy Enforcers
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani +1
Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed fo…
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…
In The Field Monitoring of Interactive Applications
Oscar Cornejo, Daniela Briola, Daniela Micucci +1
Monitoring techniques can extract accurate data about the behavior of software systems. When used in the field, they can reveal how applications behave in real-world contexts and h…
Policy Enforcement with Proactive Libraries
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Software libraries implement APIs that deliver reusable functionalities. To correctly use these functionalities, software applications must satisfy certain correctness policies, fo…
Healing Data Loss Problems in Android Apps
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Android apps should be designed to cope with stop-start events, which are the events that require stopping and restoring the execution of an app while leaving its state unaltered.…