skip to main content
article

The Java Pathfinder Workshop 2022

Published: 17 January 2023 Publication History

Abstract

Java Pathfinder (JPF) was originally developed as an explicit state software model checker and subsequently evolved into an extensible Java bytecode analysis framework that has been successfully used to implement techniques such as symbolic and concolic execution, compositional verification, parallel execution, incremental program analysis, and many more. Apart from its original domain of concurrent Java programs, JPF now supports the verification of new domains such as UMLs, numeric programs, graphical user interfaces, and Android applications.

References

[1]
Johan Besseling and Cyrille Artho. Using Theia Trace Viewer to Visualize JPF Traces. SIGSOFT Softw. Eng. Notes, 48(1), January 2023.
[2]
Gaurang Kudale. Gradle support for SymbolicPathFinder. https://github.com/gaurangkudale/ Google-Summer-of-Code-2022. Accessed: 2012--11--25.
[3]
Pavel Par´?zek and Filip Kliber. Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs. SIGSOFT Softw. Eng. Notes, 48(1), January 2023.
[4]
Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, and Franck van Breugel. jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. SIGSOFT Softw. Eng. Notes, 48(1), January 2023.
[5]
Qiuchen Yan, Cyrille Artho, and Pavel Par´?zek. Towards Wider Support for Java String Functions. SIGSOFT Softw. Eng. Notes, 48(1), January 2023.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 48, Issue 1
January 2023
113 pages
ISSN:0163-5948
DOI:10.1145/3573074
Issue’s Table of Contents
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 January 2023
Published in SIGSOFT Volume 48, Issue 1

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 76
    Total Downloads
  • Downloads (Last 12 months)25
  • Downloads (Last 6 weeks)0
Reflects downloads up to 08 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media