posted by user: mpapad || 5422 views || tracked by 14 users: [display]

Mutation 2015 : 10th International Workshop on Mutation Analysis (Mutation 2015)

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/site/mutationworkshop2015
 
When Apr 13, 2015 - Apr 13, 2015
Where Graz, Austria
Submission Deadline Jan 30, 2015
Notification Due Mar 1, 2015
Final Version Due Mar 31, 2015
Categories    software testing   mutation analysis   computer science
 

Call For Papers

CALL FOR PAPERS

Mutation 2015: The 10th International Workshop on Mutation Analysis
April 13, 2015, Graz, Austria

https://sites.google.com/site/mutationworkshop2015/

Co-located with ICST 2015 (8th International Conference on Software Testing, Verification and Validation)

About Mutation 2015:
--------------------------------
Mutation is acknowledged as an important way to assess the fault-finding effectiveness of test 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.

Topics of interest:
-----------------------
- Mutation-based test adequacy criteria (theory or practical application).
- Mutation-based test data generation.
- Higher order mutation testing.
- Novel mutation testing paradigms and applications.
- Empirical studies of mutation testing.
- Formal theoretical analysis of mutation testing.
- Comparative studies (i.e., studies that compare mutation with other testing techniques).
- Mutation testing tools.
- Industrial experience with mutation testing.
- New mutation systems for programming languages and for higher-level descriptive.
- Increasing the efficiency of mutation.
- Mutation for mobile, internet and cloud based systems.
- Mutation for security and reliability.


Submissions & Publication:
------------------------------------
Two types of papers can be submitted to the workshop:
- Full papers (10 pages): Research, case studies
- Short papers (6 pages): Research in progress, tools, experience reports, problem descriptions, new ideas

Each submitted paper must conform to the IEEE format and submission guidelines. Submissions will be evaluated according to the relevance and originality of the work and to their ability to generate discussions between the participants of the workshop. Each paper will be reviewed by three reviewers, and accepted papers will be published in the IEEE Digital Library.


Important Dates:
---------------------
Submission of Papers: 30th of January 2015
Notification of acceptance: 1st of March 2015
Camera-Ready: 31st of March 2015
Date of workshop: 13th of April 2015

Related Resources

DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ADMA 2024   20th International Conference Advanced Data Mining and Applications
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
DS 2024   Discovery Science 2024
SI DENA 2024   SPECIAL ISSUE on Differential Equations and Numerical Analysis