Slicing Programs with Arbitrary Control-flow.

Thomas Ball Susan Horwitz

Published in: AADEBUG (1993)

Keyphrases

control flow
data flow
software testing
process model
reactive systems
transition systems
workflow management systems
business process models
formal semantics
modeling language
information technology
information systems
business processes
process mining
open source
prolog programs
high level