共 50 条
- [41] Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, 2023, : 186 - 189
- [45] Automatic Test Case Generation for Unit Software Testing Using Genetic Algorithm and Mutation Analysis 2015 IEEE UP SECTION CONFERENCE ON ELECTRICAL COMPUTER AND ELECTRONICS (UPCON), 2015,
- [46] Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors 2023 36TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2023 22ND INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, VLSID, 2023, : 240 - 245
- [48] Model-based, mutation-driven test case generation via heuristic-guided branching search MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 57 - 67
- [49] Test-Case Generation for Embedded Simulink via Formal Concept Analysis PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 224 - 229