共 50 条
- [1] Integration of specification-based and CR-based approaches for GUI testing 19TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1, PROCEEDINGS: AINA 2005, 2005, : 967 - 972
- [2] SPECIFICATION-BASED AUTOMATED GUI TESTING ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 318 - 323
- [3] 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
- [5] Specification-based Testing for Gui-based Applications Software Quality Journal, 2002, 10 : 205 - 224
- [7] GUICop: Approach and toolset for specification-based GUI testing SOFTWARE TESTING VERIFICATION & RELIABILITY, 2017, 27 (08):
- [8] An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2017, 2018, 10795 : 24 - 35
- [10] Specification-based testing for refinement SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 237 - +