Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
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.PL2024
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…