Author:
Collingbourne Peter,Cadar Cristian,Kelly Paul H.J.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concretely Mapped Symbolic Memory Locations for Memory Error Detection;IEEE Transactions on Software Engineering;2024-07
2. Structural testing for CUDA programming model;Concurrency and Computation: Practice and Experience;2024-04-09
3. Symbolic Testing of Floating-Point Bugs;2024
4. State Merging with Quantifiers in Symbolic Execution;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Memory access protocols: certified data-race freedom for GPU kernels;Formal Methods in System Design;2023-05-26