共 50 条
- [42] ESBMC 6.1: automated test case generation using bounded model checking International Journal on Software Tools for Technology Transfer, 2021, 23 : 857 - 861
- [43] Düzen: generating the structural model from the software source code using shuffled frog leaping algorithm Neural Computing and Applications, 2023, 35 : 2487 - 2502
- [45] Genetic-based Crow Search Algorithm for Test Case Generation INTERNATIONAL TRANSACTION JOURNAL OF ENGINEERING MANAGEMENT & APPLIED SCIENCES & TECHNOLOGIES, 2022, 13 (04):
- [46] Maximizing Test Coverage for Security Threats Using Optimal Test Data Generation APPLIED SCIENCES-BASEL, 2023, 13 (14):
- [48] Test Case Generation Using Symbolic Execution COMPUTACION Y SISTEMAS, 2022, 26 (02): : 1035 - 1044
- [49] Augmenting test case generation using statechart SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 608 - 614