JPW 2016 - The Java Pathfinder Workshop

The goal of the workshop is to highlight research and tools for Java/Android program verification and analysis. Although there is a particular emphasis on the Java Pathfinder (JPF) tool, and on projects that use JPF to support basic research, tool development, or verification case studies, the workshop also welcomes contributions related to general program analysis of Java/Android programs. In particular, submissions related to Android are especially encouraged this year. The hope is to use the workshop to grow the community of researchers investigating Java, Android, and JPF in an effort to foster collaboration and define future needs for Java program analysis.
Topics of interest:
JPF extensions or tools
JPF case studies
Java program analysis or verification
Android program analysis or verification
General software verification techniques, tools, or analysis