JPF-SE swMATH ID: 12038 Software Authors: Anand S, Pasareanu CS, 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; DART; CUTE; Korat; SLAM; BLAST; STP; Symstra; YOGI; jCUTE; KLEE; SpecExplorer; CESAR; Bandera; Pex; PathCrawler; veriSoft; DynAlloy; CBMC; LLBMC Cited in: 6 Publications 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