共 50 条
- [3] Model-based testing [J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 722 - 723
- [4] Combinatorial testing and model-based testing [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (02):
- [5] Model Learning and Model-Based Testing [J]. MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 74 - 100
- [6] Model-based testing in practice [J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 537 - 541
- [7] Model-Based Testing of Obligations [J]. 2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 1 - 10
- [9] The role of model-based testing [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 510 - 517
- [10] Compositionality in Model-Based Testing [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2023, 2023, 14131 : 202 - 218