28 тысяч подписчиков
31 видео
Chapter 1: Introduction to Software Analysis
Chapter 2: Introduction to Software Testing
Chapter 3: Random Testing
Chapter 4: Automated Test Generation
Chapter 5: Dataflow Analysis
Chapter 6: Pointer Analysis
Chapter 7: Constraint-Based Analysis
Chapter 8: Type Systems
Chapter 9: Statistical Debugging
Chapter 10: Delta Debugging
Chapter 11: Dynamic Symbolic Execution
Module 10: Delta Debugging
Module 5: Dataflow Analysis
