共 50 条
- [1] An Empirical Analysis of Test Oracle Strategies for Model-based Testing 2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 363 - 372
- [3] Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2016, : 209 - 218
- [4] An automated model-based test oracle for access control systems 2018 IEEE/ACM 13TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST), 2018, : 2 - 8
- [5] Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 879 - 882
- [6] Killing strategies for model-based mutation testing SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, 25 (08): : 716 - 748
- [7] AbsCon: A Test Concretizer for Model-based Testing 2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), 2019, : 15 - 22
- [8] Model-Based Testing Strategies and Their (In) dependence on Syntactic Model Representations CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 3 - 21
- [9] Model-based testing strategies and their (in)dependence on syntactic model representations International Journal on Software Tools for Technology Transfer, 2018, 20 : 441 - 465