1. Ammons, G., Bodík, R., Larus, J.: Mining specifications. In: Conference Record of POPL 2002: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, January 16–18, pp. 4–16 (2002)
2. Lecture Notes in Computer Science;H. Cleve,2006
3. Dahm, M.: Byte code engineering with the JavaClass API. Technical Report B-17-98, Freie Universität Berlin, Institut für Informatik, Berlin, Germany, July 2007 (1999), http://www.inf.fu-berlin.de/~dahm/JavaClass/ftp/report.ps.gz
4. Do, H., Elbaum, S., Rothermel, G.: Infrastructure support for controlled experimentation with software testing and regression testing techniques. In: International Symposium on Empirical Software Engineering, Redondo Beach, California, August 2004, pp. 60–70 (2004)
5. Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering 27(2), 1–25 (2001); A previous version appeared in ICSE 1999, Proceedings of the 21st International Conference on Software Engineering, 27th edn., Los Angeles, CA, USA, May 19–21, pp. 213–224 (1999)