posted by user: mpapad || 2272 views || tracked by 4 users: [display]

Mutation 2014 : Mutation 2014: 9th International Workshop on Mutation Analysis

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/site/mutationworkshop2014/
 
When Mar 31, 2014 - Mar 31, 2014
Where Cleveland, USA
Submission Deadline Jan 20, 2014
Notification Due Feb 10, 2014
Categories    software testing   mutation analysis
 

Call For Papers

************************************************************************
Mutation 2014: Call for Papers
9th International Workshop on Mutation Analysis. Co-located with ICST 2014
Cleveland, USA
March 31, 2014
************************************************************************


About Mutation 2014:
--------------------------------
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 full papers: January 20th
Notification of acceptance: February 10th
Date of workshop: March 31st


Organization:
-----------------
- Haitao Dan, University College London, UK
- Tejeddine Mouelhi, University of Luxembourg, Luxembourg
- Mike Papadakis, University of Luxembourg, Luxembourg


Program Committee:
---------------------------
- Paul Ammann, George Mason University, USA
- Benoit Baudry, INRIA, France
- Leonardo Bottaci, University of Hull, UK
- Lydie du Bousquet, Laboratoire d'Informatique de Grenoble (LIG), France
- Jeremy Bradbury, Univ. of Ontario Institute of Technology, Canada
- Byoungju Choi, EWHA Womans University,South Korea
- Marcio Delamaro, Universidade de Sao Paolo, Brasil
- Gordon Fraser, Saarland University,Germany
- Mark Harman, University College London, UK
- Rob Hierons, Brunel University, UK
- Bill Howden, University of California at San Diego, USA
- Yue Jia, University College London, UK
- Jose Carlos Maldonado, Universidade de Sao Paolo, Brasil
- Nicos Malevris, Athens University of Economics and Business,Greece
- Phil McMinn, University of Sheffield, UK
- Mercedes G. Merayo, Universidad Complutense de Madrid, Spain
- Akbar Siami Namin, Texas Tech University, USA
- Jeff Offutt, George Mason University, USA
- Macario Polo, University of Castilla-La Mancha, Spain
- Simone Souza, Universidade of São Paulo, Brasil
- Yves Le Traon, University of Luxembourg, Luxembourg
- Auri Vincenzi, Universidade Federal de Goiás, Brasil
- Lu Zhang, Peking University, China

Related Resources

ASONAM 2020   The 2020 IEEE/ACM International Conference on. Advances in Social Networks Analysis and Mining
CMLA 2020   2nd International Conference on Machine Learning & Applications
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
MAAIDL 2020   Springer Book 'Malware Analysis using Artificial Intelligence and Deep Learning'
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
FDAE_AI_BDA 2020   Special Issue on Forensics Data Analytics Enhancement via Artificial Intelligences and Big Data Analytics
DLMIA 2020   Deep Learning on Medical Image Analysis - Journal of Imaging (ESCI)
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
CMES_RADLMSA 2020   CMES_Recent Advances on Deep Learning for Medical Signal Analysis (IF: 0.796)
MDA-AI&PR 2020   15th International Conference on Mass Data Analysis of Images and Signals in Artificial Intelligence and Pattern Recognition MDA-AI&PR2020