When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Suchergebnisse