Predictive Typestate Checking of Multithreaded Java Programs

Pallavi Joshi, Koushik Sen. Predictive Typestate Checking of Multithreaded Java Programs. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy. pages 288-296, IEEE, 2008. [doi]

Abstract

Abstract is missing.