How did you specify your test suite.

Andreas Holzer Christian Schallhart Michael Tautschnig Helmut Veith How did you specify your test suite. 407-416 2010 ASE http://doi.acm.org/10.1145/1858996.1859084 conf/kbse/2010 db/conf/kbse/ase2010.html#HolzerTVS10