共 50 条
[31]
Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction
[J].
2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW 2024,
2024,
:44-54
[32]
An EFSM-Based Test Data Generation Approach in Model-Based Testing
[J].
CMC-COMPUTERS MATERIALS & CONTINUA,
2022, 71 (03)
:4337-4354
[33]
Model-Based Testing and Some Steps towards Test-Based Modelling
[J].
FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS, SFM 2011,
2011, 6659
:297-326
[34]
Model-Based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker
[J].
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013),
2013,
:158-167
[35]
A Survey on Model-Based Testing Tools for Test Case Generation
[J].
TOOLS AND METHODS OF PROGRAM ANALYSIS,
2018, 779
:77-89
[36]
A Test Suite Reduction Method based on Test Requirement Partition
[J].
INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING,
2013, 6 (04)
:85-95
[38]
Assessing Software Product Line Testing via Model-based Mutation: An Application to Similarity Testing
[J].
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013),
2013,
:188-197
[39]
Model-Based Testing of Obligations
[J].
2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014),
2014,
:1-10