Software testing and verification

Thema UMZT

15 tuit
Lec 35: Checkpointing and Fault Tolerance
Applied Sciences & Engineering Computing & Cybersecurity
EN

Lec 35: Checkpointing and Fault Tolerance

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
16 min
★ ★ ★ ☆ ☆ 3/5
CheckpointingFault ToleranceDistributed Training
Lec 26: CTL Introduction
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 26: CTL Introduction

Prof. Chandan Karfa
41 min
★ ★ ★ ★ ☆ 4/5
CTLTemporal LogicFormal Verification
Vibe coding — Comment tester son application ?
Applied Sciences & Engineering Computing & Cybersecurity
EN

Vibe coding — Comment tester son application ?

Vibe coding — How to test your application?

Shubham SHARMA
10 min
★ ★ ★ ★ ☆ 4/5
Vibe CodingPlaywrightQA Testing
model validation
Formal & Physical Sciences Computing & Cybersecurity
EN

model validation

Dr. Eitan Farchi
24 min
★ ★ ★ ★ ☆ 4/5
Model ValidationMachine LearningHoeffding Inequality