Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Software bug

Related lectures (22)

Programming Bugs: Understanding, Fixing, and Preventing

Explores programming challenges, debugging techniques, software testing, and security practices in software development.

Block Saving Issue

Discusses a bug where changes made by dragging and dropping blocks are not saved.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

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.

Software Development: Versioning and Dependencies

Emphasizes the importance of versioning and dependencies in software development, highlighting continuous evolution and the need for compatibility.

Ariane 501 Case Study

Analyzes the Ariane 501 case study, focusing on the software errors and system complexities that led to a launch failure.

Web and Software Bugs

Explores vulnerabilities in web and software applications, discussing broken access control, injection flaws, and defense strategies like DEP and ASLR.

Aseba Studio Interface Exploration MOOC: The Thymio robot as a tool for discovering digital science

Covers the Aseba programming language, Thymio VPL, sound recording, and bug fixing.

Jucker Price 1999: Winners and Contributions

Highlights the winners of the Jucker Price 1999 and the Bug of the Year 2000, emphasizing the importance of humanistic aspects and the risks associated with software complexities.

Software Security: Security Testing - Sanitizers

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

Software Testing: Avoiding and Fixing Bugs

Emphasizes the critical role of software testing in preventing and resolving bugs during development.

Zero Days Vulnerability: Security Breaches on Personal Devices

Explores zero days vulnerability, ethical hacking, cyber attacks, and defense strategies against cyber threats.

From Tests to Proof

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

Open Source Software: Debian

Explores the collaborative development of Debian, an open-source Linux distribution, emphasizing the importance of contributing to existing codebases and setting up a development environment with bug tracking.

Legacy Web Hosting Services Tour Log in to Mediaspace to watch this video

Covers a tour of legacy web hosting services and discussions on future services storage.

Verifying Security Across Hardware & Software Log in to Mediaspace to watch this video

Covers the verification of security across hardware and software, including verified algorithms and techniques for eliminating speculative leaks.

Software Development: Code Refactoring and Debugging Log in to Mediaspace to watch this video

Covers the process of code refactoring and debugging in software development.

Numerical Analysis of Incompressible Fluid Flow Log in to Mediaspace to watch this video

Covers the software system Channelflow for numerical analysis of incompressible fluid flow in channel geometries, including spectral methods and invariant solutions.

Security Testing and Spoofing Log in to Mediaspace to watch this video

Covers security testing techniques, spoofing vulnerabilities, encryption bans, and network security properties.