{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T07:38:27Z","timestamp":1763105907827,"version":"3.41.0"},"reference-count":5,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T00:00:00Z","timestamp":1673308800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2023,1,10]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/3573074.3573080","type":"journal-article","created":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T03:38:24Z","timestamp":1674013104000},"page":"19-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The Java Pathfinder Workshop 2022"],"prefix":"10.1145","volume":"48","author":[{"given":"Elena","family":"Sherman","sequence":"first","affiliation":[{"name":"Boise State University, ID, USA"}]},{"given":"Yannic","family":"Noller","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"given":"Cyrille","family":"Artho","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Sweden"}]},{"given":"Franck","family":"van Breugel","sequence":"additional","affiliation":[{"name":"York University, Canada"}]},{"given":"Anto","family":"Nanah Ji","sequence":"additional","affiliation":[{"name":"York University, Canada"}]},{"given":"John","family":"Kellerman","sequence":"additional","affiliation":[{"name":"Eclipse Foundation"}]},{"given":"Parssa","family":"Khazra","sequence":"additional","affiliation":[{"name":"York University, Canada"}]},{"given":"Filip","family":"Kliber","sequence":"additional","affiliation":[{"name":"Charles University, Czech Rep"}]},{"given":"Gaurang","family":"Kudale","sequence":"additional","affiliation":[{"name":"Pune University, India"}]},{"given":"Pavel","family":"Par\u00edzek","sequence":"additional","affiliation":[{"name":"Charles University, Czech Rep"}]},{"given":"Corina S.","family":"Pasareanu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Ron","family":"Pressler","sequence":"additional","affiliation":[{"name":"Oracle"}]},{"given":"Matt","family":"Walker","sequence":"additional","affiliation":[{"name":"York University, Canada"}]},{"given":"Hongru","family":"Wang","sequence":"additional","affiliation":[{"name":"York University, Canada"}]},{"given":"Qiuchen","family":"Yan","sequence":"additional","affiliation":[{"name":"University of Minnesota"}]}],"member":"320","published-online":{"date-parts":[[2023,1,17]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"January","author":"Besseling Johan","year":"2023","unstructured":"Johan Besseling and Cyrille Artho . Using Theia Trace Viewer to Visualize JPF Traces. SIGSOFT Softw. Eng. Notes, 48(1) , January 2023 . Johan Besseling and Cyrille Artho. Using Theia Trace Viewer to Visualize JPF Traces. SIGSOFT Softw. Eng. Notes, 48(1), January 2023."},{"key":"e_1_2_1_2_1","unstructured":"Gaurang Kudale. Gradle support for SymbolicPathFinder. https:\/\/github.com\/gaurangkudale\/ Google-Summer-of-Code-2022. Accessed: 2012--11--25.  Gaurang Kudale. Gradle support for SymbolicPathFinder. https:\/\/github.com\/gaurangkudale\/ Google-Summer-of-Code-2022. Accessed: 2012--11--25."},{"key":"e_1_2_1_3_1","volume-title":"January","author":"Filip Kliber Pavel","year":"2023","unstructured":"Pavel Par\u00b4?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 . Pavel Par\u00b4?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."},{"key":"e_1_2_1_4_1","volume-title":"Hongru Wang, and Franck van Breugel. jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. SIGSOFT Softw. Eng. Notes, 48(1)","author":"Walker Matt","year":"2023","unstructured":"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 . 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."},{"key":"e_1_2_1_5_1","volume-title":"January","author":"Yan Qiuchen","year":"2023","unstructured":"Qiuchen Yan , Cyrille Artho , and Pavel Par\u00b4?zek. Towards Wider Support for Java String Functions. SIGSOFT Softw. Eng. Notes, 48(1) , January 2023 . Qiuchen Yan, Cyrille Artho, and Pavel Par\u00b4?zek. Towards Wider Support for Java String Functions. SIGSOFT Softw. Eng. Notes, 48(1), January 2023."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3573074.3573080","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3573074.3573080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:45:37Z","timestamp":1750178737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3573074.3573080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,10]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,10]]}},"alternative-id":["10.1145\/3573074.3573080"],"URL":"https:\/\/doi.org\/10.1145\/3573074.3573080","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2023,1,10]]},"assertion":[{"value":"2023-01-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}