WeAreDevelopers Logo WeAreDevelopers
Sign in
For You LIVE
World Congress 2023 • Sep 27, 2023

When testing just doesn’t cut it

Lars Hupel

Even the Java JDK hid longstanding bugs despite heavy unit testing. Learn how high-stakes systems use mathematical proofs to guarantee flawless code before a single line is written.

Starting at 5:02 · Watch from the beginning

When testing just doesn’t cut it thumbnail

Checking access…

Playback and chapters load privately for Free videos.

Matching moments

59 sec

State of the art in software verification

Onur Kasimlar Onur Kasimlar · World Congress 2025

2:49 min

Comparing software testing and software verification

Onur Kasimlar Onur Kasimlar · World Congress 2025

2:55 min

Raising awareness for software verification

Onur Kasimlar Onur Kasimlar · World Congress 2025

1:22 min

Common methods for verifying complex hardware designs

Vivek Pandit Vivek Pandit · World Congress 2026 North America

2:06 min

Automating broad codebase validations via consistent type level constructs

Peter Kröner Peter Kröner · World Congress 2022

3:34 min

Lowering the cost of formal software verification methods

Manfred Moser Manfred Moser +2 · World Congress 2026 North America

More from World Congress 2023

The year 3000, a brief history of Web Development thumbnail
25:30

The year 3000, a brief history of Web Development

Lorenzo Pieri

Demografie nutzen um jedem Bewerber das passende Angebot zu machen! thumbnail
8:52

Demografie nutzen um jedem Bewerber das passende Angebot zu machen!

Nathalie Gierth

Passwordless future: WebAuthn and Passkeys in practice thumbnail
32:32

Passwordless future: WebAuthn and Passkeys in practice

Clemens Hübner · inovex

External Secrets Operator: the secrets management toolbox for self-sufficient teams thumbnail
30:07

External Secrets Operator: the secrets management toolbox for self-sufficient teams

Moritz Johner

Building Reliable Serverless Applications with AWS CDK and Testing thumbnail
25:18

Building Reliable Serverless Applications with AWS CDK and Testing

Raphael Manke

Fifty Shades of Kubernetes Autoscaling thumbnail
30:26

Fifty Shades of Kubernetes Autoscaling

Mario-Leander Reimer

Upcoming sessions on this topic

Open session

Your AI Wrote the Code. Who Vouches for It?

  • Siddharth Joshi

    GitHub

    Senior Customer Success Architect

Open session

The Illusion of Green: Why AI-Generated Browser Automation Tests Pass Locally but Fail in CI

  • Puja Jagani

    BrowserStack

    Lead of Open Source and Developer Advocacy

Open session

A Tale of Two Systems: Design and Reality

  • Mandeep Singh

    Kyndryl

    Lead Software Engineer

Open session

Did the Model Improve, or Just the Score? A Developer’s Guide to LLM Evaluation

  • Jack Fitzsimons

    Blatent

    CTO and Co-Founder

Open session

Modernize with Confidence: Secure Legacy Modernization in Action

  • Prince Kumar

    IBM

    Software Engineer

Open session

The 200,000 line code repository: My AI wrote 1000 lines. I needed 100.

  • Hardik Gupta

    IBM

    Software Developer

Related videos

AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods thumbnail
19:36

AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods

Onur Kasimlar · Posedio

World Congress · 2025

The Algorithm That Nearly Killed Me: When Testing Isn't Enough thumbnail
47:19

The Algorithm That Nearly Killed Me: When Testing Isn't Enough

Andrew Paul · Accelerated Progress UNLIMITED

Europe Virtual · 2026

The Software Bug All Stars - and what we can learn from them thumbnail
27:27

The Software Bug All Stars - and what we can learn from them

Christian Seifert

World Congress · 2022

How to Trust Code You Didn't Write thumbnail
29:42

How to Trust Code You Didn't Write

Jeff An +3

World Congress North America · 2026

Excellent Software Testing thumbnail
34:41

Excellent Software Testing

Ingo Philipp

LIVE · Dec 2020

You don't need to write the code. You need to become a verification architect and prove it's correct thumbnail
27:43

You don't need to write the code. You need to become a verification architect and prove it's correct

Guillaume Moigneu · Upsun

World Congress Europe · 2026

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.