Author:
Clarke Edmund,Kroening Daniel
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic Modeling Method for PThread Programs Based on Program Dependence Net;2021 3rd International Conference on Software Engineering and Development (ICSED);2021-11-19
2. Just fuzz it: solving floating-point constraints using coverage-guided fuzzing;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
3. Equivalence Checking of a Floating-Point Unit Against a High-Level C Model;FM 2016: Formal Methods;2016
4. Abstract semantic differencing via speculative correlation;ACM SIGPLAN Notices;2014-12-31
5. Abstract semantic differencing via speculative correlation;Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications;2014-10-15