Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. Artho, C. & Biere, A. In 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia, pages 68-75, 2001.
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs [link]Link  bibtex   
@inproceedings{ DBLP:conf/aswec/ArthoB01,
  author = {Cyrille Artho and Armin Biere},
  title = {Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs},
  booktitle = {13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia},
  pages = {68-75},
  ee = {http://csdl.computer.org/comp/proceedings/aswec/2001/1254/00/12540068abs.htm},
  year = {2001}
}

Downloads: 0