Automated specification-based test case generation using SCR
Explore the source record for details and available documents.
formal specification software testing test case ge↗
Engineering topics
Heitmeyer, C. L.
Publications and source records attributed to Heitmeyer, C. L..
Automated specification-based test case generation using SCR
Explore the source record for details and available documents.
automated specification software engineering techn↗