1. JPF–SE: A Symbolic Execution Extension to Java PathFinder
2. Eric Bruneton , Romain Lenglet , and Thierry Coupaye . 2002. ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems 30, 19 ( 2002 ). Eric Bruneton, Romain Lenglet, and Thierry Coupaye. 2002. ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems 30, 19 (2002).
3. The ASTREÉ Analyzer
4. Michael D Ernst , Jeff H Perkins , Philip J Guo , Stephen McCamant , Carlos Pacheco , Matthew S Tschantz , and Chen Xiao . 2007. The Daikon system for dynamic detection of likely invariants. Science of computer programming 69, 1--3 ( 2007 ), 35--45. Michael D Ernst, Jeff H Perkins, Philip J Guo, Stephen McCamant, Carlos Pacheco, Matthew S Tschantz, and Chen Xiao. 2007. The Daikon system for dynamic detection of likely invariants. Science of computer programming 69, 1--3 (2007), 35--45.