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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.