A path-sensitively sliced control flow graph.

Joxan Jaffar Vijayaraghavan Murali

Published in: SIGSOFT FSE (2014)

Keyphrases

flow graph
shortest path
flow graphs
control system
random walk
wheeled mobile robots
information systems
mobile robot
control theory
robot control
robotic systems
optimal path
process control
adaptive control
data sets
computer networks
search engine
databases