Lecture

Software Correctness: Testing and Verification

Related lectures (21)

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.

Stainless Tutorial: Verification of Scala Code

Covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code.

Merge Sort: Sorting Algorithm

Explains the merge sort algorithm, its correctness, and time complexity compared to other sorting algorithms.

Software Quality: Managing Defects and Testing Strategies

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

Correctness of Compilers: Part 1

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Optimization Algorithms: Greedy Approach

Explores optimization problems and greedy algorithms for efficient decision-making.

Polymorphism and Proofs

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Sorting Algorithms: Selection and Insertion

Introduces selection and insertion sorting algorithms, explaining their correctness and time complexity.

Algorithms in Computer Science: Search and Sort Techniques

Provides an overview of essential search and sort algorithms in computer science.

Compiler verification: Challenges and Benefits

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

Property Estimation and Exponential Family

Covers test statistics, threshold values, and lower bounds for estimating properties.