9 citations · 13 across the 6 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025★ 1 cited
Tuning Random Generators: Property-Based Testing as Probabilistic Programming
Ryan Tjoa, Poorva Garg, Harrison Goldstein +3
Property-based testing validates software against an executable specification by evaluating it on randomly generated inputs. The standard way that PBT users generate test inputs is…
cs.PL2023★ 9 cited
Bit Blasting Probabilistic Programs
Poorva Garg, Steven Holtzen, Guy Van den Broeck +1
Probabilistic programming languages (PPLs) are expressive means for creating and reasoning about probabilistic models. Unfortunately hybrid probabilistic programs, involving both c…