1. Artho, C., Biere, A.: Applying static analysis to large-scale, multithreaded Java programs. In: Proc. 13th ASWEC, Canberra, Australia, Canberra, Australia, pp. 68–75. IEEE (2001)
2. Lecture Notes in Computer Science;C. Artho,2004
3. Artho, C., Havelund, K., Biere, A.: High-level data races. Journal on Software Testing, Verification & Reliability (STVR) 13(4), 220–227 (2003)
4. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. SIGPLAN Not. 36(5), 203–213 (2001)
5. Lecture Notes in Computer Science;E. Clarke,2005