FPBT

FPBT 2027 with POPL 2027

Property-based testing has grown from a niche technique into a recognized discipline with a thriving research community and a considerable base of industrial practitioners. In fact, PBT is only increasing in importance: AI is making software production faster than ever, therefore robust software validation tools like PBT are necessary to ensure that code continues to achieve the goals that humans intend for it. W ...