1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2026★ 1 cited
Compositional Generator Equivalence (Extended Version)
Anthony Vandikas, Kiarash Sotoudeh, Marsha Chechik
Property-based testing (PBT) is a powerful technique for software verification that relies on random input generators and "shrinking" processes to find and minimize counterexamples…
cs.SE2026
Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases
Indira Vats, Sanjukta De, Subhayan Roy +5
Large language models demonstrate strong capabilities in code generation but struggle to navigate complex, multi-language repositories to locate relevant code. Effective code local…