Slicing Concurrent Programs Based on Program Reachability Graphs.

Xiaofang Qi Xiaoyu Zhou Xiaojing Xu Yingzhou Zhang

Published in: QSIC (2010)

Keyphrases

concurrent programs
concurrent programming
process algebra
state space
program slicing
asynchronous circuits
web applications
formal specification
concurrent systems
concurrent processes
databases
fault localization