posted by user: bluezio || 1379 views || tracked by 1 users: [display]

Mutation 2011 : 6th International Workshop on Mutation Analysis

FacebookTwitterLinkedInGoogle

Link: http://antares.sip.ucm.es/mutation2011/index.htm
 
When Mar 25, 2011 - Mar 25, 2011
Where Berlin, Germany
Submission Deadline Jan 6, 2011
Notification Due Feb 1, 2011
Categories    mutation analysis   test evaluation
 

Call For Papers

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 now used in requirements validation (where distinguishing test cases can be used to challenge users about what they really want), with formal specifications (to assess resilience of specification properties to deviations), architectural design notations, and informal descriptions such as use cases. Data mutation has also been investigated for critical systems and web services. Mutation is now established as a major concept in software and systems V&V and uses of mutation are increasing.

Mutation Analysis 2011 (Mutation 2011) is the sixth in the series of international workshops focusing on mutation. It will take place in early March 2011 in Berlin, Germany. The workshop will be held in conjunction with the 4th International Conference on Software Testing, Verfication, and Validation (ICST'11) (21-25 March 2011).

Researchers and practitioners are invited to submit original short or full papers in any area of mutation. Topics include but are not limited to:

* Mutation-based test adequacy criteria (theory or practical application).
* Comparison of mutation with other testing techniques.
* Using mutation in empirical studies.
* Industrial experience with mutation.
* New mutation systems for programming languages (e.g. for languages not yet addressed, or offering improvements on existing ones).
* Mutation systems for higher-level descriptive notations (e.g. formal specification notations and architectural design notations).
* Increasing the efficiency of mutation (e.g. selective mutation or automated test data generation for mutation testing).
* Mutation for QoS properties (security, performance, etc.).
* Novel applications of mutation.

Related Resources

SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
SC 2025   The International Conference for High Performance Computing, Networking, Storage, and Analysis
IEEE CNCIT 2025   2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025)
HICSS 2026   Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
IEEE SmartIoT 2025   The 9th IEEE International Conference on Smart Internet of Things (SmartIoT 2025)
ICPAMI 2025   2025 2nd International Conference on Pattern Analysis and Machine Intelligence
SAM 2025   System Analysis and Modelling conference
SUMAC 2025   The 7th ACM international workshop on analysis, understanding and promotion of heritage contents
Intelligent Computing-Based Time Series 2025   Intelligent Computing: Special Issue: Intelligent Computing-Based Time Series Analysis for Cybersecurity
ICCDA 2025   2025 The 9th International Conference on Computing and Data Analysis (ICCDA 2025)