ICSE 2013


We invite short papers (2-4 pages) that present either a concrete and well-illustrated description of a realistic problem related to SPLE, or a concrete and exemplified solution developed by the SPLE community. This potentially includes problems and solutions that have been published earlier, if they support the workshop objectives and answer the questions provided below.

For "problems":

  • 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.

Submitted papers should be in English and conform to the ICSE 2013 Guidelines. Papers should be submitted electronically at easychair.

Submissions will be selected based on their relevance to the workshop topics and objectives. Accepted papers will be published in the ICSE 2013 electronic proceedings collection (handed out to participants at the conference) and on this workshop website (to allow preparation for the workshop). At least one author of each accepted paper is required to register and present the work at the workshop for the paper to be included in the workshop proceedings.