How did you specify your test suite ? - Holzer, A; Schallhart, C; Tautschnig, M; Veith, H (Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010)