J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385--394, 1976. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Automatic Test Data Generation for Programs with Integer and.. - Sy, Deville (2001) (Correct)
Generalized Symbolic Execution for Model Checking and.. - Khurshid, Pasareanu, Visser (2003) (8 citations) (Correct)
Experiments with Test Case Generation and Runtime.. - Artho, Drusinksy.. (2003) (Correct)
Program Slicing: Methods and Applications - De Lucia (2001) (16 citations) (Correct)
Automatically Detecting Equivalent Mutants and Infeasible Paths - Offutt, Pan (1997) (Correct)
Modular Verification of Code with SAT - Greg Dennis Felix (2006) (Correct)
Program Verification By Calculating Relations - Jacques Carette Ryszard (Correct)
Unknown - (Correct)
Generating Tests from Counterexamples - Beyer, Chlipala, Henzinger.. (2004) (6 citations) (Correct)
Search-based Software Test Data Generation: A Survey - McMinn (2004) (Correct)
Experiments with Test Case Generation and Runtime.. - Artho, Drusinsky.. (2003) (Correct)
Test Input Generation with Java PathFinder - Visser, Pasareanu, Khurshid (Correct)
Evolutionary Testing in the Presence of Loop-Assigned Flags.. - Baresel, Harman (2004) (2 citations) (Correct)
Light-Weight Theorem Proving for Debugging and Verifying.. - Deharbe, Ranise (2003) (2 citations) (Correct)
ConSUS: A Light-Weight Program Conditioner - Sebastian Danicic Mohammed (2004) (Correct)
Generating Tests from Counterexamples - Beyer, Chlipala, Henzinger.. (2004) (6 citations) (Correct)
Generating Tests from Counterexamples - Beyer, Chlipala, Henzinger.. (2004) (6 citations) (Correct)
Building Executable Union Slices using Conditioned Slicing - Danicic, De Lucia, Harman (2004) (Correct)
Verification of Java Programs using Symbolic Execution and.. - Pasareanu, Visser (2004) (Correct)
The Spec# Programming System: An Overview - Barnett, Leino, Schulte (Correct)
Evolutionary Testing in the Presence of Loop-Assigned Flags.. - Baresel, Harman (2004) (2 citations) (Correct)
Consistency Techniques for Interprocedural Test Data Generation - Sy, Deville (2003) (1 citation) (Correct)
Fast Symbolic Evaluation of C/C++ Preprocessing Using.. - Mario Latendresse Ngit (Correct)
Generalized Symbolic Execution for Model Checking and.. - Khurshid, Pasareanu, Visser (2003) (8 citations) (Correct)
A Fortran Language System for Mutation-based Software Testing - King, Offutt (1991) (23 citations) Self-citation (King) (Correct)
First 50 documents
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