The Java Pathfinder Workshop 2019
- 28 April 2020
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 45 (2), 20-22
- https://doi.org/10.1145/3385678.3385685
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 have organized the annual JPF work- shop with the Automated Software Engineering Conference (ASE) 2019, held in San Diego, California, USA. We invited submissions about on-going and existing research, experience, and position papers on topics (1) related to JPF, its extensions and applica- tions in various domains; and (2) Java/Android program analysis in general. This paper gives an overview of all presentations and papers of the workshop, as well the results of the discussions.This publication has 10 references indexed in Scilit:
- Symbolic Verification of Regular Properties for Java ProgramsACM SIGSOFT Software Engineering Notes, 2019
- JPF-HJ: A Tool for Task Parallel Program AnalysisACM SIGSOFT Software Engineering Notes, 2019
- Method summaries for JPFACM SIGSOFT Software Engineering Notes, 2019
- Complete Shadow Symbolic Execution with Java PathFinderACM SIGSOFT Software Engineering Notes, 2019
- SaffronACM SIGSOFT Software Engineering Notes, 2019
- Symbolic data race detection for Habanero programsACM SIGSOFT Software Engineering Notes, 2019
- Incremental Attack SynthesisACM SIGSOFT Software Engineering Notes, 2019
- Quantifying the Exploration of the Korat Solver for Imperative ConstraintsACM SIGSOFT Software Engineering Notes, 2019
- A Sound Dynamic Partial Order Reduction Engine for Java PathfinderACM SIGSOFT Software Engineering Notes, 2019
- The State of ICSEACM SIGSOFT Software Engineering Notes, 2019