Automata Models for Effective Bug Pattern Description

Tom Yaacov, Gera Weiss, Gal Amram +1

Debugging complex systems is a crucial yet time-consuming task. This paper presents the use of automata learning and testing techniques to obtain concise and informative bug descri…