System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow.

Saurabh Sinha Mary Jean Harrold Gregg Rothermel

Published in: ICSE (1999)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
semi supervised
transition systems
program slicing
modeling language
cooperative
reactive systems
business processes
test cases
memory hierarchy
business process models