Date of Graduation
1999
Document Type
Thesis
Degree Type
MS
Committee Chair
John R. Callahan
Recommended Citation
Nagulakonda, Vikram, "Assertion seeding: Development of program instrumentation through iterative formal analysis." (1999). Graduate Theses, Dissertations, and Problem Reports. 10440.
https://researchrepository.wvu.edu/etd/10440
COinS
