共 50 条
- [41] A methodology and a framework for model-based testing [J]. RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2005, 3475 : 57 - 70
- [42] When Model-based Testing Fails [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 115 - 128
- [43] Model-based security vulnerability testing [J]. 2007 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 284 - +
- [44] A taxonomy of model-based testing approaches [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (05): : 297 - 312
- [45] Skyfire: Model-Based Testing With Cucumber [J]. 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 393 - 400
- [46] Model-based testing of cryptographic protocols [J]. TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 33 - 60
- [47] Model-based testing of probabilistic systems [J]. FORMAL ASPECTS OF COMPUTING, 2018, 30 (01) : 77 - 106
- [48] Agile Metamorphic Model-based Testing [J]. 2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET), 2016, : 26 - 32
- [49] On Model-Based Testing Advanced GUIs [J]. 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
- [50] Model-based firewall conformance testing [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2008, 5047 : 103 - +