Join us on



To provide an open and collaborative forum for the exchange of research ideas and results in the area of software testing and validation, the companion workshops are a very important part of ICST. 

At ICST 2012, the workshops will be one day in duration, either on the day before or the day after the main conference. Workshops will run in parallel with each other but will not have to compete with the main conference, which will be on separate days. All refreshment and lunch breaks will be at the same time for all the workshops.


The following workshops are scheduled to appear at ICST 2012:


Day Workshop Organisers
April 17, 2012 CT 2012 Itai Segall, Richard Kuhn, Raghu Kacker and Yu Lei
Mutation 2012 Mercedes Merayo and Yue Jia
LT 2012 Jack Zhen Ming Jiang, Ahmed E. Hassan and Marin Litoiu
A-MOST 2012 Sigrid Eldh and Johan Oudinet
Regression 2012 Shin Yoo and Gregory Kapfhammer
April 21, 2012 CSTVA'2012 Frederic Dadeau and Cristian Cadar
SECTEST 2012 Keqin Li, Wissam Mallouli and Luca Vigano
VOLT 2012 Levi Lucio, Stephan Weissleder and Eugene Syriani
SBST 2012 John Clark, Kiran Lakhotia and Wasif Afzal
TAIC PART 2012 Robert Feldt, Carsten Weise and Vladimir Entin


For any concerns about the call for workshop, please contact workshop chairs:

Massimiliano Di Penta at

Arnaud Gotlieb at

or workshops organisers (see workshops descriptions).

Workshops Description

4th International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'2012)

Website : CSVTA 2012

Day : April 21, 2012

Recent years have seen an increasing interest in the application of constraint solving techniques to the testing and analysis of software systems. A significant body of constraint-based techniques have been proposed and investigated in model-based testing, code-based testing, property-oriented testing, statistical testing, etc. Following previous meetings held in 2006, 2010 and 2011, the aim of this workshop is to bring together researchers and practitioners working in constraint-based software testing, verification and analysis to investigate future developments in this research field. We invite original contributions in the form of extended abstracts, fast abstracts and tool demo papers presenting new ideas, new results or new systems in constraint-based software testing.

Organisers: Frederic Dadeau and Cristian Cadar

Previous workshops: 2011, 2010, 2006

Security Testing (SECTEST 2012)

Website : SECTEST 2012

Day : April 21, 2012

To improve software security, several techniques, including vulnerability modelling and security testing, have been developed but the problem remains unsolved. On one hand, SECTEST workshop tries to answer how vulnerability modelling can help users understand the occurrence of vulnerabilities so to avoid them, and what the advantages and drawbacks of the existing models are to represent vulnerabilities. At the same time, it tries to understand how to solve the challenging security testing problem given that testing the mere functionality of a system alone is already a fundamentally critical task, how security testing is different from and related to classical functional testing, and how to assess the quality of security testing. The objective of SECTEST workshop is to share ideas, methods, techniques, and tools about vulnerability modelling and security testing to improve the state of the art.

Organisers: Keqin Li, Wissam Mallouli and Luca Vigano

Previous workshops: 2011, 2010, 2008

Workshop on Combinatorial Testing (CT 2012)

Website : CT 2012

Day : April 17, 2012

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.

Organisers: Itai Segall, Richard Kuhn, Raghu Kacker and Yu Lei

International Workshop Mutation Analysis (Mutation 2012)

Website : Mutation 2012

Day : April 17, 2012

Mutation is acknowledged as an important way to assess the fault-finding effectiveness of tests sets. Mutation testing has mostly been applied at the source code level, but more recently, related ideas have also been used to test artifacts described in a considerable variety of notations and at different levels of abstraction. Mutation ideas are used with requirements, formal specifications, architectural design notations, informal descriptions (e.g. use cases) and hardware. Mutation is now established as a major concept in software and systems V&V and uses of mutation are increasing. The goal of the Mutation workshop is to provide a forum for researchers and practitioners to discuss new and emerging trends in mutation analysis. We invite submissions of both full-length and short-length research papers as well as industry practice papers.

Organisers: Mercedes Merayo and Yue Jia

Previous workshops: 2011, 2010, 2009

Verification Of modeL Transformations (VOLT 2012)

Website : VOLT 2012

Day : April 21, 2012

Model Transformations have been described in 2003 as the heart and soul of Model-Driven Development. Later, in 2006, the verification of model transformations has been identified as one of the grand challenges of the domain. Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject in still not in sight.
There has been a recent surge of interests of the industry in model transformations. In fact model transformations can be found implicitly in all the phases of software development. However, the current technology is still too academical and not sufficiently standardized. In particular, studying techniques to raise the level of confidence in a model transformation or ensure that a model transformation is correct in a certain context is a sound and logical step to raise industrial interest. With VOLT 2012, we aim at providing a forum where the current various approaches on the verification of model transformations can be presented, discussed, classified, integrated, and hopefully advanced.

Organisers: Levi Lucio, Stephan Weissleder and Eugene Syriani

Search-Based Software Testing (SBST 2012)

Website : SBST 2012

Day : April 21, 2012

Search-Based Software Testing (SBST) is the use of metaheuristic search techniques (e.g. hill climbing, genetic algorithms etc.) to automate testing tasks such as automated generation of test data. There has been an explosion of activity in the search-based software testing field of late, particularly on test data generation. Recent work has also focused on other aspects such as model-based testing, real-time testing, interaction testing, testing of service-oriented architectures, test case prioritisation and generation of whole tests (not only test data). The goal of the workshop is to bring together researchers from different domains of software testing, along with practitioners to strengthen and develop search-based testing research in these areas. Moreover, the workshop welcomes submissions addressing other software verification and validation issues using metaheuristic search techniques.

Organisers: John Clark, Kiran Lakhotia and Wasif Afzal

Previous workshops: 2011, 2010, 2009

The First International Workshop on Load Testing of Large Software Systems (LT 2012)

Website : LT 2012

Day : April 17, 2012

Modern software systems ranging from e-commerce websites to communication infrastructures must service millions of users. Many field problems of these systems are due to their inability to scale to field workloads, rather than due to feature bugs. To assure the quality of these systems, load testing simulates thousands or millions of users performing tasks at the same time. A load test can last from several hours to a few days, during which gigabytes of performance counter and log data is generated.
Load testing has received relatively little attention in the software testing research community. Yet, load testing is a difficult task requiring a great understanding of the system under test. Problems in the application under test, the load generator or the load environment all could be the sources of load testing problems. Furthermore, load testing is gaining more importance, as an increasing number of services are being offered in the cloud to millions of users. This one-day workshop brings together industrial practitioners and researchers to establish and grow an academic research community around this important and practical research topic.

Organisers: Jack Zhen Ming Jiang, Ahmed E. Hassan and Marin Litoiu

Advances in Model Based Testing (A-MOST 2012)

Website : A-MOST 2012

Day : April 17, 2012

The increasing complexity of software results in new challenges for testing. Model Based Testing (MBT) continue to be an important research area, where new approaches, methods and tools make MBT techniques more deployable and useful for industry than ever. Models and different abstractions can ease comprehension of a complex system and ease test generation and automation. A-MOST has proven to be a successful workshop that brings researchers and practitioners together discussing formal and semi-formal approaches, specification formats and notations that contribute to simplifying complex aspects of a system. The goal is to bring researchers and practitioners together to discuss state of the art, practice and future prospects in MBT. Submissions will be reviewed by at least three members from both academia and industry and accepted papers published in the IEEE digital library. The best paper will be invited to publish in an extended version of their work for inclusion in the Information and Software Technology journal.

Organisers: Sigrid Eldh, Johan Oudinet

Previous workshops: 2011

Testing: Academy & Industrial Conference: Practice & Research Techniques (TAIC PART 2012)

Website : TAIC PART

Day : April 21, 2012

TAIC PART focuses on software testing research done on or motivated by real-world, industrial problems. Goals are to create stronger collaboration between academia and industry on important challenges in the testing field, identify new trends and challenges and discuss research methods that can help for collaborative research and tech exchange. We solicit papers of the following types: Industry experience reports, Research methods for collaborative research, Industrial challenges with real-world testing, and Knowledge exchange between industry and academia. We accept 6-page papers of 2-page Fast Abstracts. Submissions will be reviewed by at least three members from a PC with members from both academia and industry and accepted papers published in the IEEE digital library.

Organisers: Robert Feldt, Carsten Weise and Vladimir Entin

Previous workshops: 2011

The Second International Workshop on Regression Testing (Regression 2012)

Website : Regression 2012

Day : April 17, 2012

Regression testing has received a significant amount of attention from both academics and practitioners during the last 20 years. Even though the use of regression testing techniques often leads to software applications with high observed quality, the repeated execution of test cases can be so costly that it accounts for half the cost of maintaining a software system. The regression testing research community also faces the additional challenges of transitioning established techniques into practice, improving the status-quo of the empirical evaluation of techniques, and proposing advanced methods for applying regression testing to modern software that is often complex, rapidly evolving, concurrent, and cloud-based. Viewing these tensions and challenges as an opportunity and not a threat, and looking to tap the potential of well-established researchers and up-and-coming members of the community, the theme of this year’s workshop is minimizing problems, maximizing potential, mapping prospects. The organizing committee of Regression 2012 invites you to participate in this event by submitting a paper and registering to attend this workshop co-located with ICST 2012.

Organisers: Shin Yoo and Gregory Kapfhammer

Previous workshops: 2011