共 50 条
- [1] Editorial: Special issue on specification-based testing SOFTWARE TESTING VERIFICATION & RELIABILITY, 2000, 10 (04): : 201 - 202
- [2] APPROACHES TO SPECIFICATION-BASED TESTING PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 86 - 96
- [4] Specification-based testing for refinement SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 237 - +
- [5] Towards specification-based web testing WEB ENGINEERING AND PEER TO PEER COMPUTING, 2002, 2376 : 165 - 171
- [6] Specification-based testing of interactive systems HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 640 - 643
- [8] A framework for specification-based class testing EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 153 - 162
- [9] SPECIFICATION-BASED AUTOMATED GUI TESTING ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 318 - 323
- [10] An approach to specification-based testing systems SOFTWARE QUALITY ENGINEERING, 1997, : 267 - 276