共 50 条
- [1] Strong Mutation-Based Test Data Generation using Hill Climbing [J]. 2016 IEEE/ACM 9TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2016, : 45 - 54
- [4] Mutation-Based Test Case Generation for Simulink Models [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 208 - +
- [5] Mutation-Based Test-Case Generation with Ecdar [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 319 - 328
- [6] Mutation-Based Test Generation for PLC Embedded Software Using Model Checking [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2016, 2016, 9976 : 155 - 171
- [7] Mutation-Based Generation of Software Product Line Test Configurations [J]. SEARCH-BASED SOFTWARE ENGINEERING, 2014, 8636 : 92 - 106
- [10] How to improve a set of design validation data by using mutation-based test [J]. PROCEEDINGS OF THE 2006 IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2006, : 77 - +