The Java Pathfinder Workshop 2019
Special Interest Group on Software Engineering, pp. 20-22, 2020.
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 a...More
Full Text (Upload PDF)
PPT (Upload PPT)