Concept
Software bug
Related lectures (28)
Disasters, Successes, and Inductive Invariants
Explores software disasters, successful verifications, transition systems, and invariants in systems.
Fine Control: Babyfoot
Showcases a Bachelor's project on developing a program for precise ball control in a babyfoot game.
Web and Software Bugs
Explores vulnerabilities in web and software applications, discussing broken access control, injection flaws, and defense strategies like DEP and ASLR.
Ariane 501 Case Study
Analyzes the Ariane 501 case study, focusing on the software errors and system complexities that led to a launch failure.
Software Security: Security Testing - Sanitizers
Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.
Security Testing and Spoofing
Covers security testing techniques, spoofing vulnerabilities, encryption bans, and network security properties.
Debugging
Covers testing, TDD, coverage, debugging, naming conventions, comments, and solutions for coding issues.
Automated Testing: Fuzzing and Sanitization
Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.
DevSecOps: Security in DevOps Culture
Explores the integration of security practices within the DevOps culture, emphasizing the importance of adding security measures throughout the software development lifecycle.
Software Quality: Managing Defects and Testing Strategies
Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.