posted by user: mpapad || 3776 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

ICIST 2019   25th International Conference on Information and Software Technologies (ICIST 2019)
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
ICCSN--IEEE, Ei and Scopus 2019   IEEE--2019 11th International Conference on Communication Software and Networks (ICCSN 2019)--Ei Compendex, Scopus
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
ICITA 2019   International Conference on Information Technology and Applications
ICSESS 2018   2018 9th IEEE International Conference on Software Engineering and Service Science
ISSTA 2019   International Symposium on Software Testing and Analysis
IJWesT 2018   International Journal of Web & Semantic Technology
QRS 2019   The 19th IEEE International Conference on Software Quality, Reliability, and Security
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)