Search For:

Displaying 1-6 out of 6 total
Validating Second-Order Mutation at System Level
Found in: IEEE Transactions on Software Engineering
By Pedro Reales Mateo,Macario Polo Usaola,José Luis Fernández Alemán
Issue Date:April 2013
pp. 570-587
Mutation has been recognized to be an effective software testing technique. It is based on the insertion of artificial faults in the system under test (SUT) by means of a set of mutation operators. Different operators can mutate each program statement in s...
Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases
Found in: 2012 IEEE International Conference on Software Maintenance (ICSM)
By Pedro Reales Mateo,Macario Polo Usaola
Issue Date:September 2012
pp. 646-649
Mutation testing is one of the most effective techniques to evaluate the quality of a test suites. Due to its tasks and its costs, a tool to automate and reduce costs of mutation testing is required, in order to perform mutation analyses. Bacterio is a Jav...
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code)
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Pedro Reales Mateo,Macario Polo Usaola
Issue Date:April 2012
pp. 664-672
Mutation testing is a very effective testing technique that creates mutants (copies of the original system with small syntactic changes) in order to design test cases that kill the mutants (identifying the syntactic changes). The main disadvantage of mutat...
Mutation Testing Cost Reduction Techniques: A Survey
Found in: IEEE Software
By Macario Polo Usaola, Pedro Reales Mateo
Issue Date:May 2010
pp. 80-86
Since the 1970s, researchers have widely used mutation as a testing technique, applying mainly it to validate test suites, as well as to validate test case strategies and test data generation. Mutation today is sufficiently mature for industrial applicatio...
Mutation at System and Functional Levels
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt
Issue Date:April 2010
pp. 110-119
Mutation analysis has been applied to many testing problems, including functional programs in numerous languages, specifications, network protocols, web services, and security policies. Program mutation, where mutation analysis is applied to programs, has ...
Automated test generation for multi-state systems
Found in: Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion (GECCO '13 Companion)
By Macario Polo Usaola, Pedro Reales Mateo
Issue Date:July 2013
pp. 211-212
This paper describes a genetic algorithm based on mutation testing to generate test cases for classes with multiple states. The fitness function is based on the coverability and the killability of the individuals. The paper includes a small empirical secti...