A Factor Graph Model for Software Bug Finding

Ted Kremenek, Andrew Y. Ng, Dawson R. Engler

IJCAI 2007 pp. 2510-2516

/ijcai/2007/kremenek2007ijcai-factor/

Cite

Text

Kremenek et al. "A Factor Graph Model for Software Bug Finding." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Kremenek et al. "A Factor Graph Model for Software Bug Finding." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/kremenek2007ijcai-factor/)

BibTeX

@inproceedings{kremenek2007ijcai-factor,
  title     = {{A Factor Graph Model for Software Bug Finding}},
  author    = {Kremenek, Ted and Ng, Andrew Y. and Engler, Dawson R.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {2510-2516},
  url       = {https://mlanthology.org/ijcai/2007/kremenek2007ijcai-factor/}
}