YoVDO

Software Testing Courses

Covering All the Bases: Type-Based Verification of Test Input Generators
ACM SIGPLAN via YouTube
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
ACM SIGPLAN via YouTube
Sound Dynamic Deadlock Prediction in Linear Time
ACM SIGPLAN via YouTube
Testing Specifications in Dafny - Dafny'24
ACM SIGPLAN via YouTube
Measuring Configuration in Code - Risk Assessment and Metrics
ACM SIGPLAN via YouTube
Accelerating Fuzzing through Prefix-Guided Execution
ACM SIGPLAN via YouTube
Wisening Assertions: A Live Bayesian Reasoning System for Probabilistic Correctness
ACM SIGPLAN via YouTube
Test Your Code - Essential Tools for APL Function Testing
Dyalog User Meetings via YouTube
The Hunt for CVE-2023-0286 - Replicating OpenSSL's Latest Vulnerability
Fuzzing_in - Hardik Shah via YouTube
How OSS-Fuzz Works: A Guide to Fuzz Testing for Open Source Projects
Fuzzing_in - Hardik Shah via YouTube
< Prev Page 129 Next >