Lectures
HSE #16: Unit Testing and Testing in Practice
130 views
Hardcore Software Engineering
Joseph Kiniry talks about System Validation: "Unit Testing and Testing in Practice"
Joseph Kiniry talks about System Validation: "Unit Testing and Testing in Practice"
RELATED VIDEOS
Lectures
HSE #21: Using Verification Effectively
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #20: Model Checking
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #19: Details of a Verification Tool
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #18: Kinds of Verification
Hardcore Software Engineering Joseph Kiniry...
CAST IT
Cast IT
Carsten Schürmann: Digital Democracy and Electronic...
Carsten Schürmann is the leader of the Demtech research center, which studies the interplay...
Cast IT
Vincent F. Hendricks: Attention economics and truth in...
We ask Vincent F. Hendricks, professor of formal philosophy at Copenhagen University and the...
Cast IT
Toby Walsh: Kidneys, Cars, and Killer Robots
Toby Walsh is a leading researcher in artificial intelligence and a prolific populariser of...
Cast IT
Troels Bjerre Lund: Poker-Playing Bots
In early 2017, two independent research teams announced progress in artificial intelligence:...
Cast IT
Olle Häggström: Science, Technology, and the Future of...
Olle Häggström is a Professor of mathematical statistics at Chalmers University of Gothenburg,...
Comment with Facebook