Concept

Software bug

Related lectures (31)

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

Disasters, Successes, and Inductive Invariants

Explores software disasters, successful verifications, transition systems, and invariants in systems.

Software Development: Versioning and Dependencies

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

Software Engineering Fundamentals

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

Ariane 501 Case Study

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

Programming Bugs: Understanding, Fixing, and Preventing

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

Software Debugging: Techniques and Best Practices

Covers software debugging techniques, emphasizing effective issue diagnosis, information gathering, and structured debugging processes.

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.

Verifying Security Across Hardware & Software

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

Web and Software Bugs

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

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.

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.

Debugging

Covers testing, TDD, coverage, debugging, naming conventions, comments, and solutions for coding issues.

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.

SecChisel: Security Verification of Secure Processor Architectures

Presents the SecChisel framework for verifying security properties of secure processor architectures at design-time.

Software Testing: Avoiding and Fixing Bugs

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

Software Quality: Managing Defects and Testing Strategies

Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.