ICSE 2012


We invite papers (2-4 pages) that present either a concrete real-life industrial problem or a tangible solution for a concrete problem that relate to the adaption of SPLE. This potentially includes problem cases and solutions that have been published earlier, if they support the workshop objectives and answer the questions provided below. Papers should be in English and conform to the ICSE 2012 Guidelines.

Papers should be submitted electronically. Accepted papers will be published in the ICSE 2012 electronic proceedings collection (handed out to participants at the conference) and on the workshop website (to allow preparation for the workshop and identification of potential "dates"). At least one author of each accepted paper is required to register and present the work at the workshop.

Submissions will be selected based on their relevance to the workshop topics and objectives. Specifically, submission should address the following questions:

For industrial cases and challenges

  • What is the problem/challenge that you are trying to solve?
  • Demonstrate it on a concrete example.
  • When would you consider the challenge resolved?
  • How could the success be evaluated? Is there some key indicator which allows to asses the success?

For solutions

  • What is the problem/challenge that you solve?
  • Demonstrate the solution on a concrete example.
  • What are the solution's benefits and limitations?
  • Who could benefit from your approach?
  • Was your approach evaluated? How?
  • Is your approach based on a certain technology or scientific concept (e.g., model checking)? Please provide references.