YoVDO

Testing Specifications in Dafny - Dafny'24

Offered By: ACM SIGPLAN via YouTube

Tags

Formal Verification Courses Software Testing Courses Formal Methods Courses Automated testing Courses Mutation Testing Courses Dafny Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 17-minute conference talk from ACM SIGPLAN on testing specifications in Dafny. Delve into the challenges of ensuring the correctness of formal specifications in verified systems. Learn about IronSpec, a framework that introduces automatic specification mutation testing and a unit testing methodology for writing Spec-Testing Proofs (STPs). Discover how this approach helps increase trust in specification correctness by flagging discrepancies between original specifications and test writer intent. Examine the evaluation of IronSpec on nine specifications, including three from open-source verified systems, and its effectiveness in uncovering specification bugs. Gain insights into the compromised approach of testing specifications to enhance the reliability of formally verified systems.

Syllabus

[Dafny'24] Testing Specifications In Dafny


Taught by

ACM SIGPLAN

Related Courses

Introdução ao Teste de Software
Universidade de São Paulo via Coursera Automated Software Testing: Model and State-based Testing
Delft University of Technology via edX Mutation Testing in Java with Pitest
Pluralsight Making Mutants Work for You
GOTO Conferences via YouTube Mutation Testing in Python
GOTO Conferences via YouTube