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

Content Provider	Springer Nature Link
Author	Papadakis, Mike Malevris, Nicos
Copyright Year	2011
Abstract	Automating software testing activities can increase the quality and drastically decrease the cost of software development. Toward this direction, various automated test data generation tools have been developed. The majority of existing tools aim at structural testing, while a quite limited number aim at a higher level of testing thoroughness such as mutation. In this paper, an attempt toward automating the generation of mutation-based test cases by utilizing existing automated tools is proposed. This is achieved by reducing the killing mutants’ problem into a covering branches one. To this extent, this paper is motivated by the use of state of the art techniques and tools suitable for covering program branches when performing mutation. Tools and techniques such as symbolic execution, concolic execution, and evolutionary testing can be easily adopted toward automating the test input generation activity for the weak mutation testing criterion by simply utilizing a special form of the mutant schemata technique. The propositions made in this paper integrate three automated tools in order to illustrate and examine the method’s feasibility and effectiveness. The obtained results, based on a set of Java program units, indicate the applicability and effectiveness of the suggested technique. The results advocate that the proposed approach is able to guide existing automating tools in producing test cases according to the weak mutation testing criterion. Additionally, experimental results with the proposed mutation testing regime show that weak mutation is able to speedup the mutant execution time by at least 4.79 times when compared with strong mutation.
Starting Page	691
Ending Page	723
Page Count	33
File Format	PDF
ISSN	09639314
Journal	Software Quality Journal
Volume Number	19
Issue Number	4
e-ISSN	15731367
Language	English
Publisher	Springer US
Publisher Date	2011-05-13
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Mutation testing Weak mutation Automated test case generation Mutant schemata Symbolic execution Concolic execution Search-based testing Operating Systems Data Structures, Cryptology and Information Theory Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters
Content Type	Text
Resource Type	Article
Subject	Safety, Risk, Reliability and Quality Media Technology Software

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

Automatically Performing Weak Mutation with the Aid of : Symbolic Execution , Concolic and Search Based Testing

Enhancing structural software coverage by incrementally computing branch executability

Automated refinement of models for model-based testing using exploratory testing

Mutation Testing Applied to Estelle Specifications

1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite

Specification-based Testing for Gui-based Applications

Does choice of mutation tool matter?

Achieving scalable mutation-based generation of whole test suites

Rapid goal-oriented automated software testing using MEA-graph planning

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

Similar Documents

Automatically Performing Weak Mutation with the Aid of : Symbolic Execution , Concolic and Search Based Testing

Enhancing structural software coverage by incrementally computing branch executability

Automated refinement of models for model-based testing using exploratory testing

Mutation Testing Applied to Estelle Specifications

1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite

Specification-based Testing for Gui-based Applications

Does choice of mutation tool matter?

Achieving scalable mutation-based generation of whole test suites

Rapid goal-oriented automated software testing using MEA-graph planning

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