Author:
Boonstoppel Peter,Cadar Cristian,Engler Dawson
Publisher
Springer Berlin Heidelberg
Cited by
100 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Safe Low-Level Code Without Overhead is Practical;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
2. TAG: Tagged Architecture Guide;ACM Computing Surveys;2022-12-07
3. Provenance-based Workflow Diagnostics Using Program Specification;2022 IEEE 29th International Conference on High Performance Computing, Data, and Analytics (HiPC);2022-12
4. VulSlicer: Vulnerability detection through code slicing;Journal of Systems and Software;2022-11
5. Feedback-Driven Incremental Symbolic Execution;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10