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
Lecture
Automated Testing: Fuzzing and Sanitization
Graph Chatbot
Related lectures (26)
Previous
Page 2 of 3
Next
Concept Selection and Tradespace Exploration
Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.
Software Testing: Avoiding and Fixing Bugs
Emphasizes the critical role of software testing in preventing and resolving bugs during development.
Introduction to Formal Verification
Introduces formal verification, emphasizing rigorous proof of system correctness and the use of mathematical models.
Automated Testing: Strategies and Best Practices
Explores automated testing strategies, including code coverage and various testing techniques, to ensure reliable software development.
From Tests to Proof
Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
What is Formal Verification?
Introduces formal verification and its advantages over traditional testing methods, discussing automated theorem proving and compiling correctness statements into verification conditions.
Testing and Debugging
Explores the history of computing, automated testing, TDD, test coverage, bug reports, and debugging.
Project Management: Portfolio Management
Focuses on project planning, execution, and key user involvement for effective project management.
Product Discovery: Testing Value and Viability
Focuses on understanding customers, testing value, and ensuring business viability in product management.
Compiler verification: Challenges and Benefits
Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.
