Author:
Ball Thomas,Rajamani Sriram K.
Publisher
Springer Berlin Heidelberg
Cited by
108 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs;IEEE INFOCOM 2024 - IEEE Conference on Computer Communications;2024-05-20
2. JPF: From 2003 to 2023;Lecture Notes in Computer Science;2024
3. A Model Checker for Operator Precedence Languages;ACM Transactions on Programming Languages and Systems;2023-09-23
4. Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
5. ParallelC-Assist: Productivity Accelerator Suite Based on Dynamic Instrumentation;IEEE Access;2023