共 50 条
- [4] Exhaustive test sets for algebraic specifications [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (04): : 294 - 317
- [5] Test case generation from AsmL specifications [J]. ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 413 - 413
- [6] Automatic test generation from interprocedural specifications [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 41 - +
- [7] Automated test generation from SDL specifications [J]. SDL'99: THE NEXT MILLENNIUM, 1999, : 135 - 151
- [8] TEST-GENERATION FROM LOTOS SPECIFICATIONS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 543 - 552
- [9] Test generation games from formal specifications [J]. 43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 827 - +