ISR
Specification-Based Regression Testing via Model Checking
| Title | Specification-Based Regression Testing via Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | Xu, L., and D. J. Richardson |
| Conference Name | Grace Hopper Celebration of Women in Computing Conference |
Awarded:
Best New Investigator Award