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.

Pause
Mute Enter Fullscreen
#1 about 5 min

Missed edge cases in standard unit testing

How traditional unit testing often misses critical edge cases like integer overflows in standard algorithms.

#2 about 2 min

Defining formal methods for software verification

Defining formal methods as mathematically rigorous techniques for software specification and validation.

#3 about 4 min

Everyday examples of formal methods in engineering

How standard tools like flowcharts and static type systems act as fundamental formal methods.

#4 about 5 min

Understanding formal verification processes in practice

Ensuring code implementations match mathematical specifications by writing proofs alongside assertions.

#5 about 4 min

Preventing catastrophic failures in high-stakes software

Why aeronautics, healthcare, and finance require methods beyond testing to prevent life-threatening or costly bugs.

#6 about 4 min

Modeling and verifying rules for digital currency

Representing physical money rules in code to mathematically prevent unauthorized duplicate transactions offline.

#7 about 3 min

Proving strict system constraints using Isabelle

Using the Isabelle theorem prover to mathematically guarantee system invariants stay constant.

#8 about 3 min

Integrating theorem provers into the development workflow

Prototyping complex new features with formal proofs before implementing them in production languages.

#9 about 2 min

Audience questions on writing effective software specifications

Addressing questions about pull requests, deriving programs from specifications, and covering essential edge cases.

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

2:06 min

Automating broad codebase validations via consistent type level constructs

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

2:08 min

Treating software testing as an experimental and undecidable science

Ingo Philipp · LIVE

1:14 min

Different forms of software testing

Sascha Depold +1 · World Congress 2021

More from World Congress 2023

The year 3000, a brief history of Web Development thumbnail
25:30
over 2 years ago

The year 3000, a brief history of Web Development

Lorenzo Pieri

Demografie nutzen um jedem Bewerber das passende Angebot zu machen! thumbnail
8:52
almost 3 years ago

Demografie nutzen um jedem Bewerber das passende Angebot zu machen!

Nathalie Gierth

Guided Memory Management: Rust's Ownership Model thumbnail
0:18
almost 3 years ago

Guided Memory Management: Rust's Ownership Model

Stefan Baumgartner

Passwordless future: WebAuthn and Passkeys in practice thumbnail
32:32
almost 3 years ago

Passwordless future: WebAuthn and Passkeys in practice

Clemens Hübner

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

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
almost 3 years ago

Building Reliable Serverless Applications with AWS CDK and Testing

Raphael Manke

Related videos

AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods thumbnail
19:36
World Congress 2025 • about 1 year ago

AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods

Onur Kasimlar

The Algorithm That Nearly Killed Me: When Testing Isn't Enough thumbnail
47:19
Europe 2026 Virtual • 3 months ago

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

Andrew Paul

The Software Bug All Stars - and what we can learn from them thumbnail
27:27
World Congress 2022 • over 4 years ago

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

Christian Seifert

Excellent Software Testing thumbnail
34:41
LIVE • almost 6 years ago

Excellent Software Testing

Ingo Philipp

You don't need to write the code. You need to become a verification architect and prove it's correct thumbnail
27:43
World Congress 2026 Europe • 3 months ago

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

Guillaume Moigneu

How will artificial intelligence change the future of software testing? thumbnail
45:24
LIVE • almost 6 years ago

How will artificial intelligence change the future of software testing?

Evelyn Haslinger

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.