Join us on


Ateliers

Objectif

Permettant le déroulement d'un forum ouvert et collaboratif dans le but d'échanger des idées de recherche et des résultats dans le domaine de test et validation de logiciels, les ateliers sont une partie très importante d'ICST. 

 
A ICST 2012, les ateliers seront de durée d'une journée, soit la journée avant ou la journée après la conférence principale. Les atelier se dérouleront en parallèle entre eux mais pas avec la conférence principale. Cette dernière se déroulera pendant d'autres journées. Tous les rafraîchissement et les pauses du midi seront à la même heure pour tous les ateliers.

Portée

Les ateliers prévus pour ICST 2012 sont les suivants :

Programme

Date Atelier Organisateurs
17 Avril 2012 CT 2012 Itai Segall, Richard Kuhn, Raghu Kacker and Yu Lei
Mutation 2012 Mercedes Merayo and Yue Jia
LT 2012 Jack Zhenming Jiang, Ahmed E. Hassan and Marin Litoiu
A-MOST 2012 Sigrid Eldh and Johan Oudinet
Regression 2012 Shin Yoo and Gregory Kapfhammer
21 Avril 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

Contact

Pour toute question à propos des ateliers, prière prendre attache avec les responsables des ateliers :

Massimiliano Di Penta à dipenta@unisannio.it

Arnaud Gotlieb à Arnaud.Gotlieb@inria.fr

ou avec les organisateurs des ateliers (cf la description des ateliers).

Description des Ateliers


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

Site web : CSVTA 2012

Date : 21 Avril 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.

Organisateurs : Frederic Dadeau et Cristian Cadar

Precedents ateliers : 2011, 2010, 2006


Security Testing (SECTEST 2012)

Site web : SECTEST 2012

Date : 21 Avril 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.

Organisateurs : Keqin Li, Wissam Mallouli et Luca Vigano

Precedents ateliers : 2011, 2010, 2008


Workshop on Combinatorial Testing (CT 2012)

Site web : CT 2012

Date : 17 Avril 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.

Organisateurs : Itai Segall, Richard Kuhn, Raghu Kacker et Yu Lei


International Workshop Mutation Analysis (Mutation 2012)

Site web : Mutation 2012

Date : 17 Avril 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.

Organisateurs : Mercedes Merayo et Yue Jia

Precedents ateliers : 2011, 2010, 2009


Verification Of modeL Transformations (VOLT 2012)

Site web : VOLT 2012

Date : 21 Avril 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.

Organisateurs : Levi Lucio, Stephan Weissleder et Eugene Syriani


Search-Based Software Testing (SBST 2012)

Site web : SBST 2012

Date : 21 Avril 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.

Organisateurs : John Clark, Kiran Lakhotia et Wasif Afzal

Precedents ateliers : 2011, 2010, 2009


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

Site web : LT 2012

Date : 17 Avril 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.

Organisateurs : Jack Zhen Ming Jiang, Ahmed E. Hassan et Marin Litoiu




Advances in Model Based Testing (A-MOST 2012)

Site web : A-MOST 2012

Date : 17 Avril 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.

Organisateurs : Sigrid Eldh, Johan Oudinet

Precedents ateliers : 2011


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

Site web : TAIC PART

Date : 21 Avril 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.

Organisateurs : Robert Feldt, Carsten Weise et Vladimir Entin

Precedents ateliers : 2011


The Second International Workshop on Regression Testing (Regression 2012)

Site web : Regression 2012

Date : 17 Avril 2012



Organisateurs : Shin Yoo et Gregory Kapfhammer

Precedents ateliers : 2011