4 citations · 8 across the 7 of their papers we have counts for
8 papers
Fuzzing for CPS Mutation Testing
Jaekwon Lee, Enrico Viganò, Oscar Cornejo +2
Mutation testing can help reduce the risks of releasing faulty software. For such reason, it is a desired practice for the development of embedded software running in safety-critic…
Data-driven Mutation Analysis for Cyber-Physical Systems
Enrico Viganò, Oscar Cornejo, Fabrizio Pastore +1
Cyber-physical systems (CPSs) typically consist of a wide set of integrated, heterogeneous components; consequently, most of their critical failures relate to the interoperability…
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
Oscar Cornejo, Fabrizio Pastore, Lionel Briand
On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validati…
CBR: Controlled Burst Recording
Oscar Cornejo, Daniela Briola, Daniela Micucci +1
Collecting traces from software running in the field is both useful and challenging. Traces may indeed help revealing unexpected usage scenarios, detecting and reproducing failures…
In-The-Field Monitoring of Functional Calls: Is It Feasible?
Oscar Cornejo, Daniela Briola, Daniela Micucci +1
Collecting data about the sequences of function calls executed by an application while running in the field can be useful to a number of applications, including failure reproductio…
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…
Flexible In-The-Field Monitoring
Oscar Cornejo
Fully assessing the robustness of a software application in-house is infeasible, especially considering the huge variety of hardly predictable stimuli, environments, and configurat…
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…