ComputingComputer ScienceAlgorithmsProgramming LanguagesSoftware EngineeringAbstract Syntax TreesControl-flow AnalysisData-flow AnalysisSoftware ConstructionProgram ComprehensionProgram SlicingProgram TransformationSlicingSlicing AlgorithmsSoftware Reverse Engineering
Program slicing is a viable method to restrict the focus of a task to specific sub-components of a program. Examples of applications include debugging, testing, program comprehension, restructuring, downsizing, and parallelization. The paper discusses different statement deletion based slicing methods, together with algorithms and applications to software engineering.
79
Mark Weiser · IEEE Transactions on Software Engineering · 1984 · 3.2K citations
Symbolic execution and program testing
James C. King · Communications of the ACM · 1976 · 3K citations · Full text
Hiralal Agrawal, J.R. Horgan · 1990 · 879 citations · Full text