Effective software testing with a string-constraint solver
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.
Main Author: | Kieżun, Adam |
---|---|
Other Authors: | Michael D. Ernst. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/53291 |
Similar Items
-
Finding bugs in software with a constraint solver
by: Vaziri-Farahani, Mandana
Published: (2006) -
A constraint solver for software engineering : finding models and cores of large relational specifications
by: Torlak, Emina, 1979-
Published: (2009) -
HAMPI: A Solver for String Constraints
by: Ernst, Michael D., et al.
Published: (2009) -
PSolver : a distributed SAT solver framework
by: Kokotov, Daniel (Daniel L.), 1978-
Published: (2014) -
A new approach to parallel SAT solvers
by: Nelson, Max (Max M.)
Published: (2014)