Jie Pan. Using constraints to detect equivalent mutants. Master's thesis, Department of Information and Software Systems Engineering, George Mason University, Fairfax VA, 1994. (Also released as technical report ISSE-TR-94-109). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Using Compiler Optimization Techniques to Detect Equivalent.. - Offutt, Craft (1994) (2 citations) (Correct)
....paths that can be executable. The static form for this case 6 is easy to detect using a control flow graph because the statement appears in a node that is unreachable from the start node. This paper does not address the dynamic form; although ongoing research is currently addressing this problem [Pan94] Such a node can easily be detected by traversing the flow graph starting from the start node unvisited nodes will represent dead code. Obviously any mutation that changes dead code can never affect the output of the program and is therefore equivalent. The second form of dead code is the ....
Jie Pan. Using constraints to detect equivalent mutants. Master's thesis, Department of Information and Software Systems Engineering, George Mason University, Fairfax VA, 1994. (Also released as technical report ISSE-TR-94-109).
The Dynamic Domain Reduction Procedure for Test Data.. - Offutt, Jin, Pan (1994) (3 citations) Self-citation (Pan) (Correct)
....flow. One common problem in test data generation is that of detecting infeasible paths. This shows up in various testing criteria in different forms in mutation it is part of the equivalent mutant problem, in data flow testing the term infeasible DU pairs has been used [FW88] In Pan s thesis [Pan94] a technique for detecting equivalent mutants was presented that is based on recognizing infeasible systems of constraints. Whereas the procedure here will fail in the presence of infeasible paths, the fact that the path is infeasible is not explicitly known. We hope to modify the results of ....
Jie Pan. Using constraints to detect equivalent mutants. Master's thesis, Department of Information and Software Systems Engineering, George Mason University, Fairfax VA, 1994. (Also released as technical report ISSE-TR-94-109).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC