How did you specify your test suite ? (Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010)

(untitled) - Holzer, A; Schallhart, C; Tautschnig, M; Veith, H