An enhanced flow analysis technique for detecting unreachability faults in concurrent systems

Tsong Yueh Chen, Peifeng Hu, Hao Li, T. H. Tse. An enhanced flow analysis technique for detecting unreachability faults in concurrent systems. Inf. Sci., 194:254-269, 2012. [doi]

Authors

Tsong Yueh Chen

This author has not been identified. Look up 'Tsong Yueh Chen' in Google

Peifeng Hu

This author has not been identified. Look up 'Peifeng Hu' in Google

Hao Li

This author has not been identified. Look up 'Hao Li' in Google

T. H. Tse

This author has not been identified. It may be one of the following persons: Look up 'T. H. Tse' in Google