共 50 条
- [22] Model-based reasoning methodology using the symbolic DEVS simulation [J]. TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION, 1997, 14 (03): : 141 - 151
- [23] Model Learning and Model-Based Testing [J]. MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 74 - 100
- [24] Model-based testing in practice [J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 537 - 541
- [27] Model-Based Testing of Obligations [J]. 2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 1 - 10
- [28] The role of model-based testing [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 510 - 517
- [29] Compositionality in Model-Based Testing [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2023, 2023, 14131 : 202 - 218
- [30] Model-Based Security Testing [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (80): : 1 - 12