%0 Conference Paper %1 conf/ijcai/KremenekNE07 %A Kremenek, Ted %A Ng, Andrew Y. %A Engler, Dawson R. %B IJCAI %D 2007 %E Veloso, Manuela M. %K dblp %P 2510-2516 %T A Factor Graph Model for Software Bug Finding. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#KremenekNE07

@inproceedings{conf/ijcai/KremenekNE07, added-at = {2019-08-20T00:00:00.000+0200}, author = {Kremenek, Ted and Ng, Andrew Y. and Engler, Dawson R.}, biburl = {https://www.bibsonomy.org/bibtex/27cb3990e9fcf4de41e1c74d92e610b34/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2007}, editor = {Veloso, Manuela M.}, ee = {http://ijcai.org/Proceedings/07/Papers/404.pdf}, interhash = {f1b51870ebf4cd466ee3c2e06c0e29a0}, intrahash = {7cb3990e9fcf4de41e1c74d92e610b34}, keywords = {dblp}, pages = {2510-2516}, timestamp = {2019-08-21T11:49:10.000+0200}, title = {A Factor Graph Model for Software Bug Finding.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#KremenekNE07}, year = 2007 }