1. Oracle-Guided Program Selection from Large Language Models;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Natural Symbolic Execution-Based Testing for Big Data Analytics;Proceedings of the ACM on Software Engineering;2024-07-12
3. How We Built Cedar: A Verification-Guided Approach;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
4. An empirical study of fault localization in Python programs;Empirical Software Engineering;2024-06-13
5. Using Convex Optimization to Efficiently Apportion Tracer and Pollutant Sources From Point Concentration Observations;Water Resources Research;2024-05