Automated specification-based test case generation using SCR
Explore the source record for details and available documents.
test case generation formal specification↗
Engineering topics
Heitymeyer, C. L.
Publications and source records attributed to Heitymeyer, C. L..