NDLI: Comparative Assessment of Testing and Model Checking Using Program Mutation

Content Provider	IEEE Xplore Digital Library
Author	Bradbury, J.S. Cordy, J.R. Dingel, J.
Copyright Year	2007
Description	Author affiliation: Ontario Univ., Ottawa (Bradbury, J.S.)
Abstract	Developing correct concurrent code is more difficult than developing correct sequential code. This difficulty is due in part to the many different, possibly unexpected, executions of the program, and leads to the need for special quality assurance techniques for concurrent programs such as randomized testing and state space exploration. In this paper an approach is used that assesses testing and formal analysis tools using metrics to measure the effectiveness and efficiency of each technique at finding concurrency bugs. Using program mutation, the assessment method creates a range of faulty versions of a program and then evaluates the ability of various testing and formal analysis tools to detect these faults. The approach is implemented and automated in an experimental mutation analysis framework (ExMAn) which allows results to be more easily reproducible. To demonstrate the approach, we present the results of a comparison of testing using the IBM tool ConTest and model checking using the NASA tool Java PathFinder (JPF).
Starting Page	210
Ending Page	222
File Size	377277
Page Count	13
File Format	PDF
ISBN	9780769529844
DOI	10.1109/TAIC.PART.2007.37
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2007-09-10
Publisher Place	UK
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Concurrent computing Java Quality assurance Fault detection Genetic mutations Computer bugs NASA State-space methods Space exploration Testing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Libarray of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Comparative Assessment of Testing and Model Checking Using Program Mutation

Mutation Operators for Concurrent Java (J2SE 5.0)

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

Using Multi Decision Diagram in Model Checking

Model-checking for validation of a fault protection system

ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis

Empirical evaluation of orthogonality of class mutation operators

Strategy for mutation testing using genetic algorithms

A Manifesto for Higher Order Mutation Testing

Comparative Assessment of Testing and Model Checking Using Program Mutation

Similar Documents

Comparative Assessment of Testing and Model Checking Using Program Mutation

Mutation Operators for Concurrent Java (J2SE 5.0)

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

Using Multi Decision Diagram in Model Checking

Model-checking for validation of a fault protection system

ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis

Empirical evaluation of orthogonality of class mutation operators

Strategy for mutation testing using genetic algorithms

A Manifesto for Higher Order Mutation Testing

Comparative Assessment of Testing and Model Checking Using Program Mutation