Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Property-Based Testing: Advanced Techniques
Graph Chatbot
Related lectures (29)
Software Testing: Avoiding and Fixing Bugs
Emphasizes the critical role of software testing in preventing and resolving bugs during development.
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.
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.
Software Security: Security Testing - Sanitizers
Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.
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.
Machine learning: Basics of data-driven materials modeling
Covers dimensionality reduction and linear regression in data-driven materials modeling.
Evaluation in NLP
Delves into NLP evaluation, covering gold standards, precision, recall, and statistical significance.
Programming Bugs: Understanding, Fixing, and Preventing
Explores programming challenges, debugging techniques, software testing, and security practices in software development.
Property-Based Testing: Advanced Techniques and Applications
Log in to Mediaspace to watch this video
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
Log in to Mediaspace to watch this video
Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.
Software Quality: Stop Worrying, Love the Tests
Log in to Mediaspace to watch this video
Explores software quality, defect management, testing importance, and real-world examples of bug impacts.
Property-Based Testing: QuickChick
Log in to Mediaspace to watch this video
Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
Testing Strategies: Code Coverage and Quality
Log in to Mediaspace to watch this video
Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.
Software Correctness: Testing and Verification
Log in to Mediaspace to watch this video
Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.
Project Management: Portfolio Management
Log in to Mediaspace to watch this video
Focuses on project planning, execution, and key user involvement for effective project management.
GoogleTest, Pytest, Git Submodule/Subtree, Python os.path
Log in to Mediaspace to watch this video
Covers Google Test, Pytest, Git submodule/subtree, and Python file manipulation.
Software Engineering: Best Practices
Log in to Mediaspace to watch this video
Covers tools and best practices for software writing, debugging, testing, and managing code.
Previous
Page 1 of 2
Next
