The Java Pathfinder Workshop 2022
Elena Sherman, Yannic Noller, Cyrille Valentin Artho, Franck van Breugel, Anto Nanah Ji, John K. Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Păsăreanu, Ron Pressler, Matt Walker, Hongru Wang, Qiuchen Yan · ACM SIGSOFT Software Engineering Notes · 2023
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.