Márcio Eduardo Delamaro

Learn More
This technical report presents the main features of Proteum (Program Testing Using Mutants), a testing tool that supports Mutation Analysis criterion. Proteum can be configured for testing programs in many procedural programming languages. This guide reports the version 1.1-C that works with the C language on SUN workstations, under OPENWINDOWS environment.(More)
Mutation analysis generates tests that distinguish variations, or mutants, of an artifact from the original. Mutation analysis is widely considered to be a powerful approach to testing, and hence is often used to evaluate other test criteria in terms of mutation score, which is the fraction of mutants that are killed by a test set. But mutation analysis is(More)
The application of the Mutation Analysis criterion in the context of specifiation based on Finite State Machine is proposed. The main concepts of Finite State Machine and of Mutation Analysis are briefly introduced. An experiment is reported which manually applied Mutation Analysis to a finite state machine modeling a Class 0 I S 0 Transport Protocol(More)
Although software testing is a crucial activity in the software development process, only recently have more sound and consistent testing tools become available for testing Java programs and their components. These tools support mostly functional and control-flow based structural criteria. In this paper we explore control-flow and data-flow based coverage(More)
A criterion for assessing the adequacy of test sets during integration testing is proposed. The criterion is based on a testing technique named Interface Mutation. The technique itself is designed to be scalable with the size of the software under test; the size being measured in the number of subsystems integrated. Using Interface Mutation, a test and(More)