activity
20212026
most citedModel-based testing in practice: An experience report from the web applications domain

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

collaborators
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2026

QuickerChick

Ivan Mladenov, Alperen Keles, Leonidas Lampropoulos

Property-based testing (PBT) with QuickChick relies on extracting Rocq programs to OCaml. However, this extraction mechanism, while crucial for QuickChick to function, has signific…

cs.PL2026

Evaluating Shrinking (Experience Report)

Alperen Keles, George Miao, Leonidas Lampropoulos

Property-based testing frameworks rely on shrinking to turn noisy random failures into counterexamples that developers can debug. Although bug-finding performance is routinely meas…