Answering control flow questions about code.

Thomas D. LaToza

Published in: OOPSLA Companion (2008)

Keyphrases

control flow
data flow
process model
software testing
query answering
modeling language
transition systems
answer questions
reactive systems
workflow management systems
business process models
workflow processes
information systems
open source
software engineering
relational databases
case study