CS Technical Reports
Report Author(s) Title
TR-2012-01 T.Y.Chen, Peifeng Hu,
Hao Li, T.H. Tse
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems (PDF)