1: \begin{thebibliography}{HRWY98}

2: 

3: \bibitem[ECGN01]{DaikonTSE}

4: Michael~D. Ernst, Jake Cockrell, William~G. Griswold, and David Notkin.

5: \newblock Dynamically discovering likely program invariants to support program

6:   evolution.

7: \newblock {\em IEEE Transactions on Software Engineering}, 27(2):99--123,

8:   February 2001.

9: 

10: \bibitem[GV03]{GroceSPIN03}

11: Alex Groce and Willem Visser.

12: \newblock What went wrong: Explaining counterexamples.

13: \newblock In {\em Proceedings of the 10th International SPIN Workshop on Model

14:   Checking of Software}, volume 2648 of {\em Lecture Notes in Computer

15:   Science}, 2003.

16: 

17: \bibitem[HFGO94]{hutch}

18: Monica Hutchins, Herb Foster, Tarak Goradia, and Thomas Ostrand.

19: \newblock Experiments on the effectiveness of dataflow- and controlflow-based

20:   test adequacy criteria.

21: \newblock In {\em Proceedings of the 16th International Conference on Software

22:   Engineering}, pages 191--200, 1994.

23: 

24: \bibitem[HL02]{diduce}

25: Sudheendra Hangal and Monica~S. Lam.

26: \newblock Tracking down software bugs using automatic anomaly detection.

27: \newblock In {\em Proceedings of the 24th International Conference on Software

28:   Engineering}, pages 291--301, 2002.

29: 

30: \bibitem[HRWY98]{Harrold:spectra}

31: Mary~Jean Harrold, Gregg Rothermel, Rui Wu, and Liu Yi.

32: \newblock An empirical investigation of program spectra.

33: \newblock In {\em Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program

34:   Analysis For Software Tools and Engineering}, pages 83--90, 1998.

35: 

36: \end{thebibliography}

37: