The following publications are possibly variants of this publication:
- The Java Pathfinder Workshop 2019Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach D. Le, David Lo 0001, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu. sigsoft, 45(2):20-22, 2020. [doi]
- Symbolic PathFinder: symbolic execution of Java bytecodeCorina S. Pasareanu, Neha Rungta. ASE 2010: 179-180 [doi]
- JPF-SE: A Symbolic Execution Extension to Java PathFinderSaswat Anand, Corina S. Pasareanu, Willem Visser. TACAS 2007: 134-138 [doi]
- Test input generation with java PathFinderWillem Visser, Corina S. Pasareanu, Sarfraz Khurshid. ISSTA 2004: 97-107 [doi]