NDLI: Automatic Mutation Test Case Generation via Dynamic Symbolic Execution

Content Provider	IEEE Xplore Digital Library
Author	Papadakis, M. Malevris, N.
Copyright Year	2010
Abstract	The automatic test case generation is the principal issue of the software testing activity. Dynamic symbolic execution appears to be a promising approach to this matter as it has been shown to be quite powerful in producing the sought tests. Despite its power, it has only been effectively applied to the entry level criteria of the structural criteria hierarchy such as branch testing. In this paper an extension of this technique is proposed in order to effectively generate test data based on mutation testing. The proposed approach conjoins program transformation and dynamic symbolic execution techniques in order to successfully automate the test generation process. The propositions made in this paper have been incorporated into an automated framework for producing mutation based test cases. Its evaluation on a set of benchmark programs suggests that it is able to produce tests capable of killing most of the non equivalent introduced mutants. The same study also provides some evidence that by employing efficient heuristics it can be possible to perform mutation with reasonable resources.
Starting Page	121
Ending Page	130
File Size	410503
Page Count	10
File Format	PDF
ISBN	9781424490561
ISSN	10719458
DOI	10.1109/ISSRE.2010.38
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-11-01
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Flow graphs Space exploration Software testing Production Process control Buildings mutant schemata automated test case generation dynamic symbolic execution mutation 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 Library 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

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions

Test generation via Dynamic Symbolic Execution for mutation testing

A unified symbolic execution system

Symbolic execution — An efficient approach for test case generation

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

Test generation via dynamic symbolic execution for mutation testing.

Towards automating the generation of mutation tests

Test Data Generation Considering Data Dependence

Augmented dynamic symbolic execution

Automatic Mutation Test Case Generation via Dynamic Symbolic Execution

Similar Documents

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions

Test generation via Dynamic Symbolic Execution for mutation testing

A unified symbolic execution system

Symbolic execution — An efficient approach for test case generation

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

Test generation via dynamic symbolic execution for mutation testing.

Towards automating the generation of mutation tests

Test Data Generation Considering Data Dependence

Augmented dynamic symbolic execution

Automatic Mutation Test Case Generation via Dynamic Symbolic Execution