Specification-Based Regression Testing via Model Checking

TitleSpecification-Based Regression Testing via Model Checking
Publication TypeConference Paper
Year of Publication2004
AuthorsXu, L., and D. J. Richardson
Conference NameGrace Hopper Celebration of Women in Computing Conference