1. Dominators, super blocks, and program coverage
2. Establishing Theoretical Minimal Sets of Mutants
3. Two notions of correctness and their relation to testing
4. M. L. Chaim. 1991. POKE-TOOL – A Tool to Support Data Flow Based Structural Test of Programs. Master’s thesis. DCA/FEEC/UNICAMP Campinas SP. (in Portuguese). M. L. Chaim. 1991. POKE-TOOL – A Tool to Support Data Flow Based Structural Test of Programs. Master’s thesis. DCA/FEEC/UNICAMP Campinas SP. (in Portuguese).
5. Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing;Chusho T.;IEEE Transactions on Software Engineering SE-13, 5,1987