Testing Smart Contracts with QuickCheck

Name: Testing Smart Contracts with QuickCheck
Uploaded: 2026-09-22T00:23:35.000Z
Duration: 13 min 18 s
Channel: John Hughes
Description: A Haskell 2026 lightning talk by a QuickCheck co-creator, demonstrating the application of property-based testing to enhance the reliability and correctness of smart contracts.

John Hughes

Browse

Chalmers University of Technology·John Hughes

13:18

0:00/13:18

Notebook

Press N to jot a timestamped note or B to pin a moment while watching.

Open in Study Notebook →

Testing Smart Contracts with QuickCheck

John Hughes Chalmers University of Technology

13:18·2026·graduate level·Conference Talk

YouTube

A Haskell 2026 lightning talk by a QuickCheck co-creator, demonstrating the application of property-based testing to enhance the reliability and correctness of smart contracts.

Lightning Talk: Testing smart contracts with QuickCheck (Video, Haskell 2026) (Chalmers University of Technology, Sweden)

Presentation at the Haskell 2026 symposium, August 28-29, 2026,

Systems & CS Programming Languages Functional Programming Software Testing Smart Contracts Property-Based Testing

About the lecturer

Speaker directory →

John Hughes

Co-creator of Haskell & QuickCheck · Chalmers University of Technology

John Hughes is a Professor of Computer Science at Chalmers University of Technology, renowned as a co-creator of Haskell and QuickCheck, foundational tools in functional programming.

3 lectures in archiveView profile