Ted Kremenek

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 Andrew Y. Ng, Dawson R. Engler

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings