Automated Debugging Andreas Zeller + Konstantin Kuznetsov + Johannes Lampel

News

Video and material for Lecture #10 (Mining Function Specifications) now available

Written: 19.01.2021 18:10
Modified: 26.01.2021 19:39
Written By: Andreas Zeller

Hello everyone,

The video for Lecture #10 (Mining Function Specifications) is now available:

https://youtu.be/vXGBlTr4-4s

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/DynamicInvariants.html

Enjoy! – Your course team



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators