%0 Conference Paper %1 conf/icse/CorbettDHLPRZ00 %A Corbett, James C. %A Dwyer, Matthew B. %A Hatcliff, John %A Laubach, Shawn %A Pasareanu, Corina S. %A Robby, %A Zheng, Hongjun %B ICSE %D 2000 %E Ghezzi, Carlo %E Jazayeri, Mehdi %E Wolf, Alexander L. %I ACM %K dblp %P 439-448 %T Bandera: extracting finite-state models from Java source code. %U http://dblp.uni-trier.de/db/conf/icse/icse2000.html#CorbettDHLPRZ00 %@ 1-58113-206-9

@inproceedings{conf/icse/CorbettDHLPRZ00, added-at = {2020-12-29T00:00:00.000+0100}, author = {Corbett, James C. and Dwyer, Matthew B. and Hatcliff, John and Laubach, Shawn and Pasareanu, Corina S. and Robby and Zheng, Hongjun}, biburl = {https://www.bibsonomy.org/bibtex/2b86db8e804728dde7ee8f9a64a8c2353/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2000}, editor = {Ghezzi, Carlo and Jazayeri, Mehdi and Wolf, Alexander L.}, ee = {https://doi.org/10.1145/337180.337234}, interhash = {03bf1ab7d69bacd21917fc517f7ef035}, intrahash = {b86db8e804728dde7ee8f9a64a8c2353}, isbn = {1-58113-206-9}, keywords = {dblp}, pages = {439-448}, publisher = {ACM}, timestamp = {2024-04-10T05:36:28.000+0200}, title = {Bandera: extracting finite-state models from Java source code.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2000.html#CorbettDHLPRZ00}, year = 2000 }