Differential symbolic execution 论文

2008引用 268
DOI
Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
关系图谱

Differential symbolic execution · 作者

C

Corina S. Păsăreanu

S

Sebastian Elbaum

M

Matthew B. Dwyer

S

Suzette Person