A Factor Graph Model for Software Bug Finding.

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

Browse the full IJCAI paper archive.