Author:
Visser Willem,Pǎsǎreanu Corina S.,Khurshid Sarfraz
Cited by
161 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Natural Symbolic Execution-Based Testing for Big Data Analytics;Proceedings of the ACM on Software Engineering;2024-07-12
2. Parameterized Search Heuristic Prediction for Concolic Execution;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04
3. Verifying Exception-Handling Code in Concurrent Libraries;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04
4. Precise Lazy Initialization for Programs with Complex Heap Inputs;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09
5. Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels;Proceedings of the ACM on Programming Languages;2023-06-06