Lectures related to Automated Testing: Fuzzing and Sanitization

Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.

Covers the essential aspects of software engineering, focusing on understanding the steps of program development and error management.

Covers the design, implementation, and formal verification of distributed systems, focusing on verifiable distributed systems and organizations.

Explores program development, debugging, testing, and code management best practices for reliable software.

Explores program development, debugging, testing, and code management best practices, emphasizing correctness, documentation, and efficiency.

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.