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

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

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

Projects