Model-based testing

Related lectures (30)

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

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.

Discusses similarity rules and model testing for hydraulic turbomachines.

Covers the fundamentals of machine learning for physicists and chemists, focusing on image classification tasks using artificial intelligence.

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.

Page 2 of 2