Test et vérification de logiciel

Verifying Code That Calls Code You Can't Trust • Sophia Drossopoulou • Bug Bash EU 2026

Vérifier du code qui appelle du code non fiable • Sophia Drossopoulou • Bug Bash EU 2026

Separate Protocol Logic from I/O for Deterministic Tests • Somtochi Onyekwere • Bug Bash EU 2026

Séparez la logique du protocole des entrées/sorties pour des tests déterministes • Somtochi Onyekwere • Bug Bash EU 2026

From Unit Tests to Synthetic Canaries at Netflix • William Schor • Bug Bash EU 2026

Des tests unitaires aux canaris synthétiques chez Netflix • William Schor • Bug Bash EU 2026

Google's Harness² Is This the End of Harness Engineering?

Le Harness² de Google est-ce la fin de l'ingénierie des harnais ?

The Algorithm That Nearly Killed Me: When Testing Isn't Enough - Andrew Paul - NDC Oslo 2026

L'algorithme qui a failli me tuer : quand tester ne suffit pas - Andrew Paul - NDC Oslo 2026

.NET Testing Techniques You Didn’t Know You Needed - Dante De Ruwe - NDC Oslo 2026

Techniques de test .NET que vous ne saviez pas nécessaires - Dante De Ruwe - NDC Oslo 2026

Lec 57: AI Assisted Formal Verification

Lec 57 : Vérification formelle assistée par IA

Andrew Appel - Building a Formally Verified Finite Element Method Solver, One Component At a Time

Andrew Appel - Construire un solveur de méthode des éléments finis formellement vérifié, un composant à la fois

Lec 48: Verification of Sequential to Concurrent Code Transformations

Lec 48 : Vérification des transformations de code séquentiel en code concurrent

Lec 47: Translation Validation of Array Intensive Programs

Lec 47 : Validation de traduction de programmes intensifs en tableaux

Lec 46: Equivalence Checking with SMT Solvers

Lec 46 : Vérification d'équivalence avec les solveurs SMT

Lec 45: Translation Validation of Loop Invariant Code Optimizations

Lec 45 : Validation de traduction des optimisations de code à invariant de boucle

Lec 44: Equivalence Checking between Programs

Lec 44 : Vérification d'équivalence entre programmes

Lec 42: Tutorial on NuSMV Model Checking Tool

Lec 42 : Tutoriel sur l'outil de vérification de modèles NuSMV

Lec 39: Backward Reachability in BDD based Symbolic Model Checking

Lec 39: Accessibilité en arrière dans la vérification de modèles symboliques basée sur BDD

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

The SECRET to Embedding Metasploit Payloads in VBA Macros

Le SECRET pour intégrer les charges utiles Metasploit dans les macros VBA

Symbolic Verification of the Qiskit Compiler

Vérification symbolique du compilateur Qiskit

ML testing - random variables empirical distribution

Test ML - distribution empirique de variables aléatoires

model validation

validation de modèle