Test et vérification de logiciel

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

ML testing - random variables empirical distribution

Test ML - distribution empirique de variables aléatoires

model validation

validation de modèle