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) |