{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:57Z","timestamp":1750220697062,"version":"3.41.0"},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T00:00:00Z","timestamp":1588032000000},"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":[[2020,4,28]]},"abstract":"<jats:p>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.<\/jats:p>\n          <jats:p>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.<\/jats:p>","DOI":"10.1145\/3385678.3385685","type":"journal-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T19:28:36Z","timestamp":1588620516000},"page":"20-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Java Pathfinder Workshop 2019"],"prefix":"10.1145","volume":"45","author":[{"given":"Cyrille","family":"Artho","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology, Sweden"}]},{"given":"Quoc-Sang","family":"Phan","sequence":"additional","affiliation":[{"name":"Synopsys, Inc., Mountain View, CA, USA"}]},{"given":"Peter","family":"Aldous","sequence":"additional","affiliation":[{"name":"Brigham Young University, Provo, UT, USA"}]},{"given":"Alyas","family":"Almaawi","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}]},{"given":"Lucas","family":"Bang","sequence":"additional","affiliation":[{"name":"Harvey Mudd College, Claremont, CA, USA"}]},{"given":"Lasse","family":"Berglund","sequence":"additional","affiliation":[{"name":"Pivotal Labs, United Kingdom"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, CA, USA"}]},{"given":"Zhenbang","family":"Chen","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, China"}]},{"given":"Hayes","family":"Converse","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}]},{"given":"Wei","family":"Dong","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, China"}]},{"given":"William","family":"Eiers","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, CA, USA"}]},{"given":"Milos","family":"Gligoric","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}]},{"given":"Simon","family":"Goldsmith","sequence":"additional","affiliation":[{"name":"Synopsys, Inc., Mountain View, CA, USA"}]},{"given":"Lars","family":"Grunske","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"}]},{"given":"Joshua","family":"Hooker","sequence":"additional","affiliation":[{"name":"Brigham Young University, Provo, UT, USA"}]},{"given":"Ismet Burak","family":"Kadron","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, CA, USA"}]},{"given":"Timo","family":"Kehrer","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}]},{"given":"Xuan-Bach D.","family":"Le","sequence":"additional","affiliation":[{"name":"The University of Melbourne, Melbourne, Australia"}]},{"given":"David","family":"Lo","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}]},{"given":"Eric","family":"Mercer","sequence":"additional","affiliation":[{"name":"Brigham Young University, Provo, UT, USA"}]},{"given":"Sasa","family":"Misailovic","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, IL, USA"}]},{"given":"Egor","family":"Namakonov","sequence":"additional","affiliation":[{"name":"Saint Petersburg State University, Russian Fed."}]},{"given":"Hoang","family":"Lam Nguyen","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"}]},{"given":"Yannic","family":"Noller","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"}]},{"given":"Benjamin","family":"Ogles","sequence":"additional","affiliation":[{"name":"Brigham Young University, Provo, UT, USA"}]},{"given":"Rohan","family":"Padhye","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, CA, USA"}]},{"given":"Pavel","family":"Parizek","sequence":"additional","affiliation":[{"name":"Charles University, Czechia"}]},{"given":"Corina S.","family":"P\u0103s\u0103reanu","sequence":"additional","affiliation":[{"name":"CMU\/NASA Ames Research Center, Pittsburgh, PA, USA"}]},{"given":"S. Jacob","family":"Powell","sequence":"additional","affiliation":[{"name":"Brigham Young University, Provo, UT, USA"}]},{"given":"Seemanta","family":"Saha","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, CA, USA"}]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, CA, USA"}]},{"given":"Elena","family":"Sherman","sequence":"additional","affiliation":[{"name":"Boise State University, ID, USA"}]},{"given":"Kyle","family":"Storey","sequence":"additional","affiliation":[{"name":"Brigham Young University, Provo, UT, USA"}]},{"given":"Minxing","family":"Tang","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"}]},{"given":"Willem","family":"Visser","sequence":"additional","affiliation":[{"name":"Stellenbosch University, South Africa"}]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, China"}]},{"given":"Hengbiao","family":"Yu","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, China"}]}],"member":"320","published-online":{"date-parts":[[2020,5,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.3364456"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.33644560"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.33644561"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.33644563"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.3364455"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.33644562"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.33644558"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.336445759"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.3364457"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385678.3385685","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385678.3385685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:49Z","timestamp":1750199569000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385678.3385685"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,28]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4,28]]}},"alternative-id":["10.1145\/3385678.3385685"],"URL":"https:\/\/doi.org\/10.1145\/3385678.3385685","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2020,4,28]]},"assertion":[{"value":"2020-05-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}