SELECT—a formal system for testing and debugging programs by symbolic execution 论文

1975ACM SIGPLAN Notices引用 388
DOI
Software Testing and Debugging TechniquesLogic, programming, and type systemsFormal Methods in Verification
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques
相关技术:Formal Methods in Verification
关系图谱

SELECT—a formal system for testing and debugging programs by symbolic execution · 相关文章

暂无数据