2Joe Verzulli.Getting started with JML Improve your Java programs with JML annotation [EB/OL]. http://www.ibm. com/developerworks/java/library/j -jml/index.html, 2003 - 3-18.
3Michael D. Ernst, Jeff H. Perkins, Philip J. Guo. The Daikon system for dynamic detection of likely invariants [J]. Science of Computer Programming, vol. 69, no.3, pp.35- 45, 2007.
4Jezequel J.M, Bertrand Meyer. Design by contract: thelessons of Ariane. Computer[J]. pp. 129-130dan. 1997.
5Ernst M. D. Static and dynamic analysis: Synergy and duality [C]. In WODA 2003: ICSE Workshop on Dynamic Analysis, (Portland, OR), pp. 24-27, 2003.
6Hangal.S, Lain M. S. Tracking down software bugs using automatic detection[C]. In proceedings of the 24th interna- tional conference on software engineering, pp. 291-301, 2002.
7Ernst M. D. Dynamically Discovering Likely Program Invariants [D]. Ph.D. dissertation, University of Washington Department of Computer Science and Engineering, (Seattle, Washington), Aug,2000.
