Automating Differential Testing with Overapproximate Symbolic Execution
2022 IEEE Conference on Software Testing, Verification and Validation (ICST)（2022）
关键词
differential testing,overapproximate symbolic execution,updated software,regression test suites,code changes,unintended behaviors,relevant software behaviors,potentially unintended behavioral changes,underconstrained symbolic execution,original revised programs,identified functions,changed code,corresponding program states,logs differences,raw log,intended differences,unintended differences,technique clusters,logged differences,feasible differences,known regressions,popular program,refactored Redis versions
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要