共 50 条
- [2] Model-Based Functional Verification [J]. PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 421 - 424
- [3] Research directions on model-based metamorphic testing and verification [J]. PROCEEDINGS OF THE 29TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, 2005, : 332 - 332
- [4] Model-based optimization of interferometers for testing aspherical surfaces [J]. LASER INTERFEROMETRY X: TECHNIQUES AND ANALYSIS AND APPLICATIONS, PTS A AND B, 2000, 4101 : 497 - 510
- [5] Model-based Player Experience Testing with Emotion Pattern Verification [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2023, 2023, 13991 : 151 - 172
- [6] Automating Functional Test Design with Model-Based Testing [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2012, 5 (01): : 27 - 33
- [7] AutoFun: An Automated Model-based Functional Testing Tool [J]. I BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST 2016), 2016,
- [8] A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing [J]. COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART NATIONS - SUSTAINING AND DESIGNING, CSD&M ASIA 2016, 2016, 426 : 171 - 180
- [9] Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2017, : 131 - 138
- [10] Model-Based Continuous Verification [J]. 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 81 - 88