Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs

Xiaofang Qi, Xiaojing Xu, Peng Wang. Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 293-298, Knowledge Systems Institute Graduate School, 2012.

Abstract

Abstract is missing.