A survey of new trends in symbolic execution for software testing and analysis 论文

2009International Journal on Software Tools for Technology Transfer引用 231
DOI
Software Testing and Debugging TechniquesSoftware Engineering ResearchSoftware Reliability and Analysis Research
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
关系图谱

A survey of new trends in symbolic execution for software testing and analysis · 相关文章

暂无数据