A survey of new trends in symbolic execution for software testing and analysis 论文
2009International Journal on Software Tools for Technology Transfer引用 231
Software Testing and Debugging TechniquesSoftware Engineering ResearchSoftware Reliability and Analysis Research