What does this research mean for the field?

A deeper language for properties based on deferred binding abstract syntax decouples property definitions from their execution runners, enabling more flexible and programmable property-based testing. Novelty: ClaimNovelty.METHODOLOGICAL. Consensus alignment: ConsensusAlignment.NEUTRAL.

What question did this study set out to answer?

To overcome the customization limits in property-based testing frameworks caused by the tight coupling between executable property definitions and test execution engines.

August 19, 2026Proceedings of the ACM on Programming LanguagesOpen Access

Programmable Property-Based Testing

View Full Paper

Ask AI

Bookmark

Authors

AKA. KeleşUniversity of Maryland, College Park JFJustine FrankUniversity of Maryland, College Park CMCeren MertUniversity of Maryland, College Park

Discussion

Member takes

Implication

Framework evaluation demonstrates programmable property-based testing in Rocq and Racket, indicating enhanced flexibility through decoupled property syntax.

Key Points

To overcome the customization limits in property-based testing frameworks caused by the tight coupling between executable property definitions and test execution engines.
Designed a mixed embedding language representation termed deferred binding abstract syntax that reifies properties into explicit data structures.
Implemented the specification language across both dependently typed (Rocq) and dynamically typed (Racket) programming environments.
Decoupled property specifications from concrete test runners, enabling independent configuration and execution.
Demonstrated rapid prototyping of diverse, domain-specific property runners without requiring modifications to the core testing framework.

Cite This Study

Keleş et al. (2026) studied this question.

synapsesocial.com/papers/6a8562eb03308d306e2d5e4e https://doi.org/10.1145/3828685

View Full Paper

Ask AI

Bookmark

Implication

Framework evaluation demonstrates programmable property-based testing in Rocq and Racket, indicating enhanced flexibility through decoupled property syntax.

Programmable Property-Based Testing

Discussion

Member takes

Implication

Key Points

Cite This Study

Programmable Property-Based Testing

Discussion

Member takes

Implication

Key Points

Cite This Study

Also Consider

Also Consider