EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.

Yu Feng Xinyu Wang Isil Dillig Calvin Lin

Published in: OOPSLA (2015)

Keyphrases

demand driven
control flow
data flow
query processing
database
response time
software testing
business process models
language constructs
artificial intelligence
load balancing
workflow management systems
data sets