共 50 条
- [1] Test case generation from AsmL specifications ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 413 - 413
- [2] Automatic test generation from interprocedural specifications TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 41 - +
- [3] Automated test generation from SDL specifications SDL'99: THE NEXT MILLENNIUM, 1999, : 135 - 151
- [4] Test generation games from formal specifications 43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 827 - +
- [7] Test cases selection from SDL specifications COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 35 (06): : 693 - 708
- [8] GENERATING TEST CASES FROM FORMAL SPECIFICATIONS INCOSE International Symposium, 1996, 6 (01): : 463 - 470
- [10] A test class framework for generating test cases from Z specifications SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 164 - 171