Combining unit-level symbolic execution and system-level concrete execution for testing nasa software 论文

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

Combining unit-level symbolic execution and system-level concrete execution for testing nasa software · 相关技术

暂无数据