Lectures related to Software Quality: Stop Worrying, Love the Tests

Showcases the 'Eggdrop Challenge' project and the innovative Pro-Tag-Shan solution developed by students.

Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Covers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.

Covers Google Test, Pytest, Git submodule/subtree, and Python file manipulation.

Covers the implementation of a smart contract for a simple coin and discusses financial blockchain applications.

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.