Review paper

The Java Pathfinder Workshop 2019

Volume: 45, Issue: 2, Pages: 20 - 22
Published: Apr 28, 2020
Abstract
Java Path nder (JPF) was originally developed as an explicit- state software model checker, and subsequently evolved into an extensible Java bytecode analysis framework that has been suc- cessfully used to implement techniques such as symbolic and con- colic execution, compositional veri cation, parallel execution, in- cremental program analysis, and many more. To share recent research progress with JPF and related tools among the community, we...
Paper Details
Title
The Java Pathfinder Workshop 2019
Published Date
Apr 28, 2020
Volume
45
Issue
2
Pages
20 - 22
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.