How Good Is Your Formal Specification? Mutation Testing To The Rescue!

Name: How Good Is Your Formal Specification? Mutation Testing To The Rescue!
Duration: 29 min 24 s
Description: Chandrakana Nandi asks how good a formal specification really is at Devconnect Istanbul 2023, presenting mutation testing as a way to check whether a spec actually catches the bugs it's meant to catch. The talk connects formal verification and testing practices that smart contract auditors rely on to build confidence in contract correctness.

Devconnect Istanbul 2023 · 16 Nov 2023 · 29:24

Chandrakana Nandi asks how good a formal specification really is at Devconnect Istanbul 2023, presenting mutation testing as a way to check whether a spec actually catches the bugs it's meant to catch. The talk connects formal verification and testing practices that smart contract auditors rely on to build confidence in contract correctness.

Speakers

Chandrakana Nandi

Topics

Security
Formal Verification
Testing & Fuzzing

From Devconnect Istanbul 2023, hosted by Ethereum Foundation.