共 50 条
- [21] Cutting through the Jungle: Disambiguating Model-based Traceability Terminology [J]. 2020 28TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE'20), 2020, : 8 - 19
- [22] The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment [J]. 29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021), 2021, : 444 - 445
- [23] Improving Models for Model-based Testing based on Exploratory Testing [J]. 2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014), 2014, : 656 - 661
- [24] Model-Based Testing for Asynchronous Systems [J]. CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 66 - 82
- [25] Testing concept for model-based development [J]. WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 7, 2005, : 48 - 52
- [26] Model-based regression testing by OCL [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 115 - 131
- [27] Model-based testing of optimizing compilers [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 365 - +
- [28] Incremental Model-based Mutation Testing [J]. 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
- [29] Model-based testing of automotive electronics [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 89 - 89
- [30] A model-based approach for robustness testing [J]. TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 333 - 348