共 50 条
- [41] Model-Based Testing of Electronic Passports FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 207 - 209
- [42] Model-based Testing of Scratch Programs 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 411 - 421
- [43] A symbolic framework for model-based testing FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 40 - +
- [45] Model-based testing: Challenges ahead Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005, : 330 - 330
- [47] Fast model-based penetration testing PROCEEDINGS OF THE 2004 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2004, : 309 - 317
- [48] Model-based testing with Spec# FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 5 - 6
- [50] Model-Based Automated Accessibility Testing ASSETS'15: PROCEEDINGS OF THE 17TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS & ACCESSIBILITY, 2015, : 319 - 320