Towards Efficient Data-flow Test Data Generation.
Theories of Programming and Formal Methods（2023）
关键词
Testing-Effort Dependent Models,Dynamic Test Generation,Search-Based Testing,Software Fault Localization,Fault Detection and Correction
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要