Bandera: extracting finite-state models from Java source code Export

@inproceedings{citeulike:504792, address = {New York, NY, USA}, author = {Corbett, James C. and Dwyer, Matthew B. and Hatcliff, John and Laubach, Shawn and P\&\#259;s\&\#259;reanu, Corina S. and Robby and Zheng, Hongjun}, booktitle = {ICSE '00: Proceedings of the 22nd international conference on Software engineering}, citeulike-article-id = {504792}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=337234}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/337180.337234}, doi = {10.1145/337180.337234}, isbn = {1581132069}, keywords = {2000, bandera, read, verification}, pages = {439--448}, posted-at = {2009-02-02 06:45:26}, priority = {0}, publisher = {ACM Press}, title = {Bandera: extracting finite-state models from Java source code}, url = {http://dx.doi.org/10.1145/337180.337234}, year = {2000} }

TY - CONF ID - citeulike:504792 L3 - citeulike-article-id:504792 SN - 1581132069 AD - New York, NY, USA EP - 448 TI - Bandera: extracting finite-state models from Java source code PB - ACM Press T2 - ICSE '00: Proceedings of the 22nd international conference on Software engineering SP - 439 KW - 2000 KW - bandera KW - read KW - verification AU - Corbett, James AU - Dwyer, Matthew AU - Hatcliff, John AU - Laubach, Shawn AU - P\&\#259;s\&\#259;reanu, Corina AU - Robby AU - Zheng, Hongjun PY - 2000/// UR - http://dx.doi.org/10.1145/337180.337234 ER -