Improving Symbolic Automata Learning with Concolic Execution.

Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser

Browse the full FASE paper archive.