31 citations · 176 across the 37 of their papers we have counts for
7 papers · 1 filter
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…
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…
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…