共 50 条
- [31] A model-based approach for robustness testing TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 333 - 348
- [32] Model-Based Testing of Electronic Passports FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 207 - 209
- [34] Model-based Testing of Scratch Programs 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 411 - 421
- [36] Model-based testing: Challenges ahead Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005, : 330 - 330
- [37] A symbolic framework for model-based testing FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 40 - +
- [38] Fast model-based penetration testing PROCEEDINGS OF THE 2004 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2004, : 309 - 317
- [39] Model-Based Testing of Quantum Computations TESTS AND PROOFS, TAP 2024, 2025, 15153 : 127 - 147
- [40] Model-based testing with Spec# FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 5 - 6