Property-Based Testing: Climbing the Stairway to Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zilin Chen' in GoogleThis author has not been identified. Look up 'Christine Rizkallah' in GoogleThis author has not been identified. Look up 'Liam O'Connor' in GoogleThis author has not been identified. Look up 'Partha Susarla' in GoogleThis author has not been identified. Look up 'Gerwin Klein' in GoogleThis author has not been identified. Look up 'Gernot Heiser' in GoogleThis author has not been identified. Look up 'Gabriele Keller' in Google

runs on WebDSL