sle2022/paper05

SLE 2022 paper:
Property-Based Testing: Climbing the Stairway to Verification

Zilin Chen, Christine Rizkallah, Liam O’Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller

• DOI: 10.1145/3567512.3567520
• T5C: Testing
  • It advances property-based testing techniques and their role in verification workflows.
• T5D: Formal Methods
  • It connects testing results to stronger formal verification goals (proof/verification support).
• T6D: Synergies
  • It bridges methods from testing and verification, highlighting their synergy.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.