Everything about Java Pathfinder

🧭 Start here: a 6-step reading path

1. Read the overview: Java PathfinderA 5-minute orientation
2. Skim a recent paper: The Java Pathfinder Workshop 2022Influential work since 2022
3. Pick up a classic book: Java Pathfinder Workshop'16The most-reprinted book on the subject
4. Read the landmark paper: Model checking JAVA programs using JAVA PathFinderCited 499 times
5. Go sideways: Runtime verificationA closely related topic
6. Go sideways: Just-in-time compilationA closely related topic

🏆 Landmark papers (most cited)

• Model checking JAVA programs using JAVA PathFinder

  Klaus Havelund, Thomas Pressburger · 2000 · International Journal on Software Tools for Technology Transfer (STTT) · 499 citations

• Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

  Corina S. Păsăreanu, Willem Visser, David Bushnell · 2013 · Automated Software Engineering · 128 citations

• Test input generation with java PathFinder

  Willem Visser, Corina S. Pǎsǎreanu, Sarfraz Khurshid · 2004 · ACM SIGSOFT Software Engineering Notes · 89 citations

• Verifying android applications using Java PathFinder

  Heila van der Merwe, Brink van der Merwe, Willem Visser · 2012 · ACM SIGSOFT Software Engineering Notes · 60 citations

• The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder

  Louise A. Dennis · 2018 · Journal of Open Source Software · 30 citations

• Automated generation of model classes for Java PathFinder

  Matteo Ceccarello, Oksana Tkachuk · 2014 · ACM SIGSOFT Software Engineering Notes · 10 citations

• Finding Polluter Tests Using Java PathFinder

  Pu Yi, Anjiang Wei, Wing Lam · 2021 · ACM SIGSOFT Software Engineering Notes · 7 citations

• Shadow Symbolic Execution with Java PathFinder

  Yannic Noller, Hoang Lam Nguyen, Minxing Tang · 2018 · ACM SIGSOFT Software Engineering Notes · 7 citations

🆕 Influential since 2022

• The Java Pathfinder Workshop 2022

  Elena Sherman, Yannic Noller, Cyrille Artho · 2023 · ACM SIGSOFT Software Engineering Notes · 2 citations

📚 Books worth reading

• 📕Java Pathfinder Workshop'16Thomas MJ Zimmermann · 2016

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Runtime verification Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect…
• Just-in-time compilation Just-in-time (JIT) compilation (also dynamic translation or run-time compilations) is compilation of computer code during execution of a program at run…
• Concolic testing Concolic testing (a portmanteau of concrete and symbolic, also known as dynamic symbolic execution) is a hybrid software verification technique that performs…
• Profiling (computer programming) In software engineering, profiling (program profiling, software profiling) is a form of dynamic program analysis that measures, for example, the space…
• Bytecode Bytecode (also called portable code or p-code) is an instruction set designed for efficient execution by a software interpreter. Unlike human-readable…
• Grigore Roșu Grigore Roșu (born December 12, 1971) is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information…
• Jazelle Jazelle DBX (direct bytecode execution) is an extension that allows some ARM processors to execute Java bytecode in hardware as a third execution state…
• Symbolic execution In computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part…