Author:
Perkins Jeff H.,Ernst Michael D.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Kgent: Kernel Extensions Large Language Model Agent;Proceedings of the SIGCOMM Workshop on eBPF and Kernel Extensions;2024-08-04
2. Inference and test generation using program invariants in chemical reaction networks;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
3. Precise semantic history slicing through dynamic delta refinement;Automated Software Engineering;2019-06-15
4. Mining Timed Regular Specifications from System Traces;ACM Transactions on Embedded Computing Systems;2018-03-31
5. Exploring the Link Between Test Suite Quality and Automatic Specification Inference;Electronic Proceedings in Theoretical Computer Science;2017-08-23