Test et vérification de logiciel

Lec 35: Checkpointing and Fault Tolerance

Lec 35 : Point de contrôle et tolérance aux pannes

Lec 36: GNBA Construction from LTL Formula - Transitions

Lec 36: Construction de GNBA à partir de la formule LTL - Transitions

Hongjian Jiang: Synthesis and Verification of Transformer Programs

Hongjian Jiang : Synthèse et vérification de programmes Transformer

SOFTWARE TESTING | SOFTWARE ENGINEERING | LECTURE 01 BY DR.INDERJEET KAUR | AKGEC

TESTS LOGICIELS | GÉNIE LOGICIEL | COURS 01 PAR DR. INDERJEET KAUR | AKGEC

STACK TRACE ELEMENTS IN JAVA | OOP | LECTURE 03 BY MR. AVANISH SRIVASTAVA | AKGEC

ÉLÉMENTS DE TRACE DE PILE EN JAVA | OOP | LECTURE 03 PAR M. AVANISH SRIVASTAVA | AKGEC

Lec 26: CTL Introduction

Lec 26 : Introduction à CTL

Lec 21: Correctness, Consistencies and Completenss of Formal Properties

Lec 21: Exactitude, Cohérences et Complétude des Propriétés Formelles

"Looks Good to Me": A Practical Guide to Handling AI-Generated Code - Roman Zhukov

"Looks Good to Me" : Un guide pratique pour gérer le code généré par IA - Roman Zhukov

Are Your Tests Slowing You Down? • Trisha Gee • GOTO 2025

Vos tests vous ralentissent-ils ? • Trisha Gee • GOTO 2025

Vibe coding — Comment tester son application ?

Software Testing Course – Playwright, E2E, and AI Agents

Cours de test logiciel – Playwright, E2E et agents IA

Supercharged Testing: AI-Powered Workflows with Playwright + MCP - Debbie O'Brien

Tests suralimentés : workflows propulsés par l'IA avec Playwright + MCP - Debbie O'Brien

Keynote: The dangers of probably-working software - Damian Brady - NDC London 2026

Keynote: Les dangers des logiciels qui fonctionnent probablement - Damian Brady - NDC London 2026

ML testing - random variables empirical distribution

Test ML - distribution empirique de variables aléatoires

model validation

validation de modèle