Computer Society


Hosted by:

Testing Tools Track

For the first time ICST will include a Tools Track, which welcomes articles focused on testing and verification tools. This track allows researchers and practitioners to present and demonstrate tools in a special track of ICST and publish a 3-8 page article in the proceedings of the conference. Tools Track submissions will be evaluated by a special program committee composed of leading researchers and practitioners with experience developing and using tools.

The content of the submission is expected to be previously unpublished and focused on technical and social aspects of tool development, deployment and adoption. The presentations at the conference are expected to include at least 10 minutes of a live tool demonstration. As such, submissions are encouraged to include a one-page Appendix that describes the plan for the live demonstration. Descriptions of novel algorithmic advances or empirical evaluations are not in scope. Claims about the effectiveness of tools should be supported by citations to peer-reviewed publications.

Submissions describing commercial tools are welcome. Submissions will be evaluated based on:

  • Whether the tool solves significant research and engineering challenges.
  • Innovation (the tool is the result of research or can be compared to research prototypes in terms of conceptual complexity).
  • Usability and feasibility (through open source, as trial versions, or as demos).
  • Quality of the presentation (summarizing the principles on which the tool relies and explaining the main challenges in a comprehensive way).
  • Presentation of lessons learned targeted at researches and practitioners looking to develop or adopt similar tools.
The Testing Tools track will accept tools at several stages of maturity: promising research prototypes, widely used research tools, commercial tools issued by research. 

All submissions must be performed through the web-based submission system.

Program Committee Chairs

Program Committee
  • Jamie Andrews, U. Western Ontario, CA
  • Ian Craggs, IBM Hursley, UK
  • Christoph Csallner, UT Arlington, USA
  • Gordon Fraser, University of Sheffield, UK
  • Richard Martin, Google, CH
  • Wassim Masri, AUB, LB
  • Fabrizio Pastore, UniMib, IT
  • Alexander Pretschner, TU Munchen, DE
  • Brian Robinson, ABB, USA
  • Nikolai Tillman, Microsoft, USA
  • Mike Whalen, U. Minnesota, USA
  • Burkhart Wolff, University of Paris-Sud Orsay, FR

Important dates

Submission start
 September 17, 2012
Submission end (extended)
 December 21, 2012 (23:59:59 Honolulu, Hawaii Time)
Notification of acceptance
 On the fly