Call for Papers

PDF version for printing (109 KB)

Combinatorial Testing (CT) is a widely applicable generic methodology and technology for software verification and validation. In a combinatorial test plan, all interactions between parameters up to a certain level are covered. Studies show that CT can significantly reduce the number of test cases while remaining very effective for fault detection. This workshop aims to bring together researchers, developers, users, and practitioners to discuss and exchange ideas and experiences in the development and application of CT methods, techniques, and tools.

We invite submissions of high-quality papers presenting original work on both theoretical and experimental aspects of combinatorial testing. Topics of interest include, but are not limited to:

• Combinatorial testing workflow
  • Modeling the input space for CT
  • Efficient algorithms to generate t-way test suites, especially involving support of constrains
  • Determination of expected system behavior for each test case
  • Executing CT test suites
  • Combinatorial testing based fault localization
  • Implementation of CT with existing testing infrastructures
  • Handling changes in test requirements
• Applicability of combinatorial testing
  • Comparison and combination of CT with other dynamic verification methods
  • Investigation of historical records of failures to determine the kind of CT which may have detected underlying faults
  • Empirical studies and feedback from practical applications of CT
  • Combinatorial testing for concurrent and real-time systems
  • CT for testing cloud computing systems and use of combinatorial methods in cloud architecture
  • Application of CT in other domains, e.g., study of gene regulation and other biotechnology applications
• Combinatorial and complementing methods
  • Combinatorial analysis of existing test suites
  • Test plan reduction and completeness
  • CT and coverage metrics – combining the two, and studying the relationship between them

Important Dates

CT submission deadline: deadline: **EXTENDED**	Jan 22, 2012 Jan 29, 2012
CT author notification:	Feb 19, 2012
CT final versions due from authors: deadline: **EXTENDED**	March 2, 2012 March 18, 2012
CT technical presentations:	17 April, 2012

• Itai Segall, IBM Haifa Research Labs
• Richard Kuhn, National Institute of Standards and Technology (NIST)
• Raghu Kacker, National Institute of Standards and Technology (NIST)
• Yu (Jeff) Lei, University of Texas at Arlington