Travelled to:
1 × France
Collaborated with:
M.A.Kochte D.Erb H.Wunderlich B.Becker
Talks about:
unknown (1) presenc (1) pattern (1) generat (1) accur (1) valu (1) test (1) base (1) qbf (1)
Person: Stefan Hillebrecht
DBLP: Hillebrecht:Stefan
Contributed to:
Wrote 1 papers:
- DATE-2013-HillebrechtKEWB #generative
- Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.