Author:
Burckhardt Sebastian,Kothari Pravesh,Musuvathi Madanlal,Nagarakatte Santosh
Cited by
131 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generalized Concurrency Testing Tool for Distributed Systems;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2024-03-12
3. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05
4. Parsimonious Optimal Dynamic Partial Order Reduction;Lecture Notes in Computer Science;2024
5. Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23