Concrete Constraint Guided Symbolic Execution
ICSE '24 Proceedings of the IEEE/ACM 46th International Conference on Software Engineering（2024）
关键词
Symbolic Execution,Data Dependency Analysis
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要
ICSE '24 Proceedings of the IEEE/ACM 46th International Conference on Software Engineering（2024）