Lecture

Property-Based Testing: Advanced Techniques

Related lectures (27)

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.

Software Quality: Managing Defects and Testing Strategies

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

Software Testing: Avoiding and Fixing Bugs

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

Software Quality: Stop Worrying, Love the Tests

Explores software quality, defect management, testing importance, and real-world examples of bug impacts.

Automated Testing: Fuzzing and Sanitization

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Property-Based Testing: QuickChick

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Testing Strategies: Code Coverage and Quality

Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.

Software Correctness: Testing and Verification

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Software Engineering: Best Practices

Covers tools and best practices for software writing, debugging, testing, and managing code.

Software Engineering Fundamentals

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

Testing Actor Systems

Explores testing actor systems, covering principles, Akka's Test Kit, dependencies, interaction with the parent, and actor hierarchies.

Project Management: Portfolio Management

Focuses on project planning, execution, and key user involvement for effective project management.

Software Security: Security Testing - Sanitizers

Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.

GoogleTest, Pytest, Git Submodule/Subtree, Python os.path

Covers Google Test, Pytest, Git submodule/subtree, and Python file manipulation.

Object-Oriented Programming in Java

Covers object-oriented programming in Java through a case study on modeling watch mechanisms.

From Tests to Proof

Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.

From Tests to Proof

Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.

Concept Selection and Tradespace Exploration

Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.

Automated Testing: Strategies and Best Practices

Explores automated testing strategies, including code coverage and various testing techniques, to ensure reliable software development.