activity
20232026
most citedTuning Random Generators: Property-Based Testing as Probabilistic Programming

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.NI2023★ 1 cited

Eywa: Automating Model Based Testing using LLMs

Rajdeep Mondal, Rathin Singha, Todd Millstein +3

Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier…