Lori A. Clarke
Original record- Institution
- University of Colorado at Boulder
- Year
- 1976
- Country
- United States
- MGP identifier
- 94890
Dissertation: Test Data Generation and Symbolic Execution of Programs as an Aid to Program Validation
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Leon J. OsterweilUniversity of Maryland College Park · 1971
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Matthew Barbour Dwyer | University of Massachusetts Amherst | 1995 | 9 |
| Andy Podgurski | University of Massachusetts Amherst | 1989 | 0 |
| Alexander Lee Wolf | University of Massachusetts Amherst | 1985 | 15 |