Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller. Property-Based Testing: Climbing the Stairway to Verification. In Bernd Fischer, Lola Burgueño, Walter Cazzola, editors, Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022. pages 84-97, ACM, 2022. [doi]
Abstract is missing.