Lectures related to Test oracle

Software Correctness: Testing and Verification

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

Software security - Security testing

Covers software security testing approaches and coverage metrics.

Polynomial Identity Testing

Covers polynomial identity testing using oracles and random point evaluation, with applications in graph theory and algorithmic aspects.

Business Opportunity Evaluation

Focuses on evaluating business opportunities, turning assumptions into testable hypotheses, and using the Market Opportunity Navigator tool with real-life examples.