Symbolic execution for software testing in practice 论文

2011引用 330
DOI
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchAdvanced Malware Detection Techniques
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchAdvanced Malware Detection Techniques
相关技术:Advanced Malware Detection Techniques
关系图谱

Symbolic execution for software testing in practice · 作者

W

Willem Visser

N

Nikolai Tillmann

K

Koushik Sen

C

Corina S. Păsăreanu

S

Sarfraz Khurshid

P

Patrice Godefroid

C

Cristian Cadar