1 citations · 1 across the 8 of their papers we have counts for
7 papers · 1 filter
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…
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…
DIRT: Database-Integrated Random Testing
Alperen Keles, Ethan Chou, Harrison Goldstein +1
Database management systems (DBMSs) are notoriously complex, making them difficult to test effectively, especially during early development when many features are incomplete. Tradi…
A Declarative Framework for Hand-Crafted Mutation Analysis and Management
Alperen Keles
Hand-crafted mutants are increasingly used to evaluate fuzzing and property-based testing tools, but current tooling is fragmented and often forces trade-offs between readability,…
Etna: An evaluation platform for property-based testing
Alperen Keles, Jessica Shi, Nikhil Kamath +5
Property-based testing is a mainstay of functional programming, boasting a rich literature, an enthusiastic user community, and an abundance of tools~ -- so many, indeed, that new…
ISTQB Certifications Under the Lens: Their Contributions to the Software-Testing Profession; and AI-assisted Synthesis of Practitioners' Endorsements and Criticisms
Vahid Garousi, Alper Buğra Keleş, Sevde Değirmenci
Context: The International Software Testing Qualifications Board (ISTQB) certification dominates global software testing practice, with 1.2+ million certifications issued across 13…
Programmable Property-Based Testing
Alperen Keles, Justine Frank, Ceren Mert +2
Property-based testing (PBT) is a popular technique for establishing confidence in software, where users write properties -- i.e., executable specifications -- that can be checked…