Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Model-based testing

Related lectures (30)

Covers property testing against uniform distributions using the plug-in approach.

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

Covers the basics of machine learning, challenges in deployment, adversarial attacks, and privacy concerns.

Covers the fundamentals of traffic flow modeling, including model classification and testing techniques.

Covers the management of doctoral theses, including candidate evaluation and thesis submission.

Covers property testing for uniform distributions and the importance of reliable predictions.

Delves into the engineering challenges of creating a floating monolith for Expo02.

Explores physical and numerical modeling in river hydraulics, emphasizing hydraulic constructions and the law of similarity.

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Covers the concept of property testing using statistical methods.

Explores simulating network behavior, testing strategies, analyzing stable states, and studying network regimes.

Covers distribution estimation, property testing, and multi-arm bandits in data science.

Covers multi-arm bandits and distribution estimation, emphasizing the importance of robust estimators.

Covers the activation of electronic theses and iThenticate integration in the doctoral process.

Explores the HexHive project's research questions, bug pruning techniques, and industry collaborations, showcasing its impactful alumni.

Explores out-of-sample validation and the methodology of cross-validation for testing predictive models.

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

Explains numerical testing methods and integration process with examples.

Covers the design, implementation, and formal verification of distributed systems, focusing on verifiable distributed systems and organizations.

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