共 50 条
- [21] Using Quality Attribute Scenarios for ML Model Test Case Generation IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION, ICSA-C 2024, 2024, : 307 - 310
- [22] Coverage based test-case generation using model checkers EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 83 - 91
- [23] Toward Optimal MC/DC Test Case Generation ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 505 - 516
- [24] Time-optimal real-time test case generation using UPPAAL FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 114 - 130
- [25] Generating test case for algebraic specification based on Tabu search and genetic algorithm CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2017, 20 (01): : 277 - 289
- [26] Generating test case for algebraic specification based on Tabu search and genetic algorithm Cluster Computing, 2017, 20 : 277 - 289
- [27] Duzen: generating the structural model from the software source code using shuffled frog leaping algorithm NEURAL COMPUTING & APPLICATIONS, 2023, 35 (03): : 2487 - 2502
- [29] BINTEST - Binary search-based test case generation 27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 28 - 33
- [30] Automatic Test Case Generation Using Many-Objective Search and Principal Component Analysis IEEE ACCESS, 2022, 10 : 85518 - 85529