JPF-SE swMATH ID: 12038 Software Authors: Anand, S.; Pasareanu, C. S.; Visser, W. Description: JPF-SE: a symbolic execution extension to Java pathfinder. We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and explore symbolic execution paths and it uses off-the-shelf decision procedures to manipulate numeric constraints. Homepage: http://javapathfinder.sourceforge.net/extensions/symbc/doc/ Dependencies: Java pathfinder Related Software: Java PathFinder; CUTE; DART; Korat; SLAM; BLAST; STP; Symstra; YOGI; jCUTE; KLEE; Kudzu; SpecExplorer; CESAR; Bandera; Pex; PathCrawler; veriSoft; MiniSat; DynAlloy Cited in: 6 Documents all top 5 Cited by 21 Authors 1 Aguirre, Nazareno M. 1 Arroyo, Marcelo 1 Bantegui, Michael 1 Brucker, Achim D. 1 Forrest, Stephanie 1 Fu, Xiang 1 Godefroid, Patrice 1 Godio, Ariel 1 Kapur, Deepak 1 Lensink, Leonard 1 Li, Chung-Chih 1 Nguyen, Thanhvu H. 1 Ponzio, Pablo 1 Powell, Michael C. 1 Rosner, Nicolás 1 Sen, Koushik 1 Smetsers, Sjaak 1 van Eekelen, Marko 1 van Gastel, Bernard 1 Weimer, Westley 1 Wolff, Burkhart Cited in 2 Serials 2 Formal Aspects of Computing 1 Science of Computer Programming Cited in 1 Field 6 Computer science (68-XX) Citations by Year