James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. Bandera: a source-level interface for model checking Java programs. In ICSE. pages 762-765, 2000. [doi]
@inproceedings{CorbettDHR00,
title = {Bandera: a source-level interface for model checking Java programs},
author = {James C. Corbett and Matthew B. Dwyer and John Hatcliff and Robby},
year = {2000},
doi = {10.1145/337180.337625},
url = {http://doi.acm.org/10.1145/337180.337625},
tags = {Java, meta programming, model checking, meta-model, source-to-source, C++, Meta-Environment, open-source},
researchr = {https://researchr.org/publication/CorbettDHR00},
cites = {0},
citedby = {0},
pages = {762-765},
booktitle = {ICSE},
}