Dawson R. Engler

Computer Science Department Stanford University Stanford , CA 94305 USA

1 paper in the IJCAI proceedings

IJCAI 2007

A Factor Graph Model for Software Bug Finding

with Ted Kremenek, Andrew Y. Ng

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings