Automata Learning for Symbolic Execution

Bernhard Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Fingerprint

Dive into the research topics of 'Automata Learning for Symbolic Execution'. Together they form a unique fingerprint.

Computer Science