Author:
Brumley David,Wang Hao,Jha Somesh,Song Dawn
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PARAMETERIZED REACHABILITY GRAPH FOR SOFTWARE MODEL CHECKING BASED ON PDNET;COMPUT INFORM;2023
2. Learning stateful preconditions modulo a test generator;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
3. File Guard: automatic format-based media file sanitization;International Journal of Information Security;2019-06-06
4. 1dVul: Discovering 1-Day Vulnerabilities through Binary Patches;2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2019-06
5. Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics;2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET);2019-05