4 papers
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Falsification of hybrid systems is attracting ever-growing attention in quality assurance of Cyber-Physical Systems (CPS) as a practical alternative to exhaustive formal verificati…
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa +1
Autonomous cars are subjected to several different kind of inputs (other cars, road structure, etc.) and, therefore, testing the car under all possible conditions is impossible. To…
Repairing Timed Automata Clock Guards through Abstraction and Testing
Étienne André, Paolo Arcaini, Angelo Gargantini +1
Timed automata (TAs) are a widely used formalism to specify systems having temporal requirements. However, exactly specifying the system may be difficult, as the user may not know…
AsmetaF: A Flattener for the ASMETA Framework
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework, supporting several validatio…