Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Smoke testing (software)
Graph Chatbot
Related lectures (6)
Login to filter by course
Login to filter by course
Reset
Previous
Page 1 of 1
Next
Software Testing Internship at OPPO in Switzerland
Showcases a master's student's software testing internship experience at OPPO in Switzerland, emphasizing customer satisfaction and user experience.
Software Testing at Young Technology
Explores a student's internship in software testing for Opel phones in Switzerland.
External Libraries and Doxygen
Covers compilation, linking, external libraries, Doxygen documentation, and Google Test for C++ unit testing.
Software Disasters and Successes: Verification Impact and Transition Systems
Explores software verification impact, disasters, successes, and transition systems.
Ariane 501 Case Study
Analyzes the Ariane 501 case study, focusing on the software errors and system complexities that led to a launch failure.
Introduction to Formal Verification
Introduces formal verification, emphasizing rigorous proof of system correctness and the use of mathematical models.