1 citations · 1 across the 3 of their papers we have counts for
4 papers
MOTIF: A tool for Mutation Testing with Fuzzing
Jaekwon Lee, Enrico Viganò, Fabrizio Pastore +1
Mutation testing consists of generating test cases that detect faults injected into software (generating mutants) which its original test suite could not. By running such an augmen…
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…
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Claudio Menghi, Enrico Viganò, Domenico Bianculli +1
Cyber-physical systems combine software and physical components. Specification-driven trace-checking tools for CPS usually provide users with a specification language to express th…