Dynamically discovering likely program invariants to support program evolution 论文

1999引用 355
DOI
Software Engineering ResearchSoftware Testing and Debugging TechniquesLogic, programming, and type systems
企业软件Software Engineering ResearchLogic, programming, and type systemsSoftware Testing and Debugging Techniques
关系图谱

Dynamically discovering likely program invariants to support program evolution · 相关文章

暂无数据