학술논문
The Java Pathfinder Workshop 2019
Document Type
Academic Journal
Author
Artho, Cyrille; Phan, Quoc-Sang; Aldous, Peter; Almaawi, Alyas; Bang, Lucas; Berglund, Lasse; Bultan, Tevfik; Chen, Zhenbang; Converse, Hayes; Dong, Wei; Eiers, William; Gligoric, Milos; Goldsmith, Simon; Grunske, Lars; Hooker, Joshua; Kadron, Ismet Burak; Kehrer, Timo; Khurshid, Sarfraz; Le, Xuan-Bach D.; Lo, David; Mercer, Eric; Misailovic, Sasa; Namakonov, Egor; Lam Nguyen, Hoang; Noller, Yannic; Ogles, Benjamin; Padhye, Rohan; Parizek, Pavel; Păsăreanu, Corina S.; Powell, S. Jacob; Saha, Seemanta; Sen, Koushik; Sherman, Elena; Storey, Kyle; Tang, Minxing; Visser, Willem; Wang, Ji; Yu, Hengbiao
Source
ACM SIGSOFT Software Engineering Notes. 45(2):20-22
Subject
Language
English
ISSN
0163-5948
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.