Accepted Papers
Call for Short Papers
Short Papers address:
- tools and technologies,
- experiences with lessons learned,
- new and emerging ideas,
- work in progress with preliminary results, and
- novel contributions to formal methods education.
Maximum length is 4 pages (ACM Conference Format - including references).
For a full list of topics of interest, see the call for Full Papers.
The contributions to SPIN 2017 will be published as ACM Proceedings, and should be submitted in the ACM Conference Format: https://www.acm.org/publications/proceedings-template (use the sigconf template)
Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.
A Best Short Paper award will be given.
Dates
Thu 13 JulDisplayed time zone: Tijuana, Baja California change
Thu 13 Jul
Displayed time zone: Tijuana, Baja California change
Fri 14 JulDisplayed time zone: Tijuana, Baja California change
Fri 14 Jul
Displayed time zone: Tijuana, Baja California change
16:30 - 17:10 | |||
16:30 20mTalk | Guided Test Case Generation for Mobile Apps in the TRIANGLE Project (Laura Panizo, Alberto Salmerón, Maria Del Mar Gallardo and Pedro Merino) SPIN Short Paper | ||
16:50 20mTalk | ExpoSE: Practical Symbolic Execution of Standalone JavaScript (Blake Loring, Duncan Mitchell and Johannes Kinder) SPIN Short Paper | ||