What type of study is this?

This is a Experimental Study study.

October 11, 2025Proceedings of the ACM on Programming LanguagesOpen Access

Bennet: Randomized Specification Testing for Heap-Manipulating Programs

View Full Paper

Ask AI

Bookmark

Authors

ZAZain K AamerCalifornia University of Pennsylvania BPBenjamin C. PierceCalifornia University of Pennsylvania

Discussion

Member takes

Implication

This research demonstrates how property-based testing generates random inputs for heap-manipulating programs, suggesting CN specifications can streamline this process.

Key Points

Bennet can efficiently generate bug-revealing inputs, enhancing testing in heap-manipulating programs.
By using CN specifications, the tool derives effective generators for random inputs satisfying complex preconditions.
The research formalizes a DSL for generator semantics, optimizing value generation and constraint propagation.
Previous frameworks like Fulminate show CN’s effective runtime specification checks improve testing reliability.

Cite This Study

Aamer et al. (2025) studied this question.

synapsesocial.com/papers/68e9b1d0ba7d64b6fc132ba9 https://doi.org/10.1145/3764115

View Full Paper

Ask AI

Bookmark

Implication

This research demonstrates how property-based testing generates random inputs for heap-manipulating programs, suggesting CN specifications can streamline this process.

Bennet: Randomized Specification Testing for Heap-Manipulating Programs

Discussion

Member takes

Implication

Key Points

Cite This Study

Bennet: Randomized Specification Testing for Heap-Manipulating Programs

Discussion

Member takes

Implication

Key Points

Cite This Study

Also Consider

Also Consider