Sergio Daniel Quijano will give a talk about his work on Leveraging Multiple Counterexamples in Hybrid Automata for Test Case Generation in Autonomous Systems. Details below.
SPEAKER
Sergio Daniel Quijano, PhD. Fellow, ITU.
TITLE
Leveraging Multiple Counterexamples in Hybrid Automata for Test Case Generation in Autonomous Systems
ABSTRACT
Model checking tools for formal verification of systems modeled as hybrid automata typically generate counterexamples when a given property is violated. These counterexamples illustrate where and how a system fails to meet its requirements. However, the utility of counterexamples increases when multiple variations are explored. In this work, we investigate heuristics for generating diverse counterexamples, enabling a deeper understanding of a system’s robustness and safety. A set of diverse counterexamples can enhance the potential for test case generation, particularly for autonomous systems.