共 50 条
- [1] Model-based Player Experience Testing with Emotion Pattern Verification [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2023, 2023, 13991 : 151 - 172
- [3] A symbolic framework for model-based testing [J]. FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 40 - +
- [4] A methodology and a framework for model-based testing [J]. RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2005, 3475 : 57 - 70
- [5] MBT4Chor: A Model-Based Testing Approach for Service Choreographies [J]. MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2009, 5562 : 313 - +
- [6] TOM: A Model-Based GUI Testing Framework [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), 2017, 10487 : 155 - 161
- [7] A Framework and Algorithm for Model-Based Active Testing [J]. 2008 INTERNATIONAL CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (PHM), 2008, : 378 - +
- [8] A Model-Based Framework For Cloud API Testing [J]. 2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 2, 2017, : 60 - 65
- [9] A framework for observation-based modelling in model-based testing [J]. VTT Publications, 2010, (727): : 1 - 211
- [10] A Model-Based Testing Framework for Automotive Embedded Systems [J]. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 38 - 47