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]
@inproceedings{JoshiS08,
title = {Predictive Typestate Checking of Multithreaded Java Programs},
author = {Pallavi Joshi and Koushik Sen},
year = {2008},
doi = {10.1109/ASE.2008.39},
url = {http://dx.doi.org/10.1109/ASE.2008.39},
tags = {Java},
researchr = {https://researchr.org/publication/JoshiS08},
cites = {0},
citedby = {0},
pages = {288-296},
booktitle = {23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy},
publisher = {IEEE},
}