Finding Bugs in Software with a Constraint Solver

Search

Authors:

Mandana Vaziri

Publication Venue:

MIT PhD Thesis

When Published:

Feb 1 2004

Attachment	Size
Vaziri_thesis.pdf	517.35 KB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte