posted by user: mpapad || 4042 views || tracked by 8 users: [display]

SI: Mutation Testing 2015 : Information and Software Technology, Special Issue on Mutation Testing

FacebookTwitterLinkedInGoogle

Link: http://www.journals.elsevier.com/information-and-software-technology/
 
When N/A
Where N/A
Submission Deadline Jul 31, 2015
Categories    software testing   mutation analysis   computer science   software engineering
 

Call For Papers

Information and Software Technology (IST)
Special Issue on Mutation Testing

* Submission deadline: July 31, 2015 *

-----------------------
Background
-----------------------

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 artefacts 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. This special issue serves as a platform for researchers and practitioners to present theory, results, experience and advances in mutation testing.

-----------------------
Topics
-----------------------

This special issue focuses on all topics relevant to mutation analysis. In particular, the topics of interest include, but are not limited to:

* Mutation-based test adequacy criteria (theory or practical application). 

* Mutation-based test data generation. 

* Higher order mutation testing. 

* Mutation analysis for abstract models
* Novel mutation testing paradigms and applications. 

* Empirical studies of mutation testing. 

* Mutation for security and reliability.
* Formal theoretical analysis of mutation testing. 

* Mutation for mobile, Internet and cloud-based systems 
(e.g., QoS, power consumption, stress testing, perfor- 
mance, etc). 


-----------------------
Submission Information
-----------------------

All submissions must contain original unpublished work not being considered for publication elsewhere. Submissions will be refereed according to standard procedures of IST and should be formatted according to the Elsevier guidelines (http://www.elsevier.com/journals/information-and-software-technology/0950-5849/guide-for-authors).
All submissions must be made through the online submission and editorial system of the Information and Software Technology journal (http://ees.elsevier.com/infsof/) by selecting “SI: Mutation Testing” as article type.

The submission deadline is July 31, 2015.


-----------------------
Guest Editors
-----------------------

Mike Papadakis, Luxembourg University
René Just, University of Washington, Seattle

Related Resources

AICCC--ACM, EI, Scopus 2020   ACM--2020 3rd Artificial Intelligence and Cloud Computing Conference (AICCC 2020)--EI Compendex, Scopus
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
ACM--ADIP--EI Compendex, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
GreeNet Symposium - SGNC 2020   11th Symposium on Green Networking and Computing (SGNC 2020)
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus