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
Software Correctness: Testing and Verification
Graph Chatbot
Related lectures (21)
Previous
Page 1 of 3
Next
Property-Based Testing: QuickChick
Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
From Tests to Proof
Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Automated Testing: Fuzzing and Sanitization
Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.
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.
Introduction to Formal Verification
Introduces formal verification, emphasizing rigorous proof of system correctness and the use of mathematical models.
Property-Based Testing: Advanced Techniques
Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.
From Tests to Proof
Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
Property-Based Testing: Advanced Techniques and Applications
Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.
Concept Selection and Tradespace Exploration
Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.
Software Engineering: Best Practices
Covers tools and best practices for software writing, debugging, testing, and managing code.
