-
Notifications
You must be signed in to change notification settings - Fork 343
JPF Workshop 2016 Submission
We solicit regular paper submissions on existing research and applications related to JPF or its extensions. If the underlying research idea has been published in another venue the paper needs to clarify the novel aspects that are being presented in the paper. We also solicit extended abstracts submissions on recent work or work in progress. We welcome comparative analysis papers that evaluate algorithms in JPF or its extensions with other relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF and Java/Android program analysis in general. The papers should be in the ACM SIG Proceedings format.
Categories of papers:
- Regular papers (at most 5 pages long; Accepted regular papers will be published in the Software Engineering Notes (SEN) and the ACM digital library.)
- Extended abstract (at most 2 pages long)
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
Please contact us by creating an issue. We are trying to fix the process below, which no longer works.
-
How to obtain and install JPF
- System requirements
- Downloading
- Creating a site properties file
- Building, testing, and running
- JPF plugins
-
Developer guide
- Top-level design
- Key mechanisms
- Extension mechanisms
- Common utilities
- Running JPF from within your application
- Writing JPF tests
- Coding conventions
- Hosting an Eclipse plugin update site