Completed
Reach more bug instrumentation
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
SAVIOR: Towards Bug-Driven Hybrid Testing
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Hybrid testing is the new trend
- 3 State of the art hybrid testing systems Code coverage driven
- 4 Code-coverage alone likely miss bugs
- 5 Suboptimal resource distribution • Bug-to-code ratios
- 6 SAVIOR: Bug-driven hybrid fuzzing
- 7 Compile time analysis & instrumentation • Analysis conservative
- 8 System overview: runtime
- 9 Reach more bug instrumentation
- 10 Active property checking . Model these type of bugs with SMT constraints
- 11 Other tricks to improve efficiency - Dynamically adjust path scheduling Combine static and runtime information
- 12 Evaluation
- 13 SAVIOR: LAVA-M benchmark
- 14 Real-world programs: potential bug-code ratios
- 15 Triggered UBSAN violations (24 hours)
- 16 SAVIOR: Triggered bug V.S code coverage cont
- 17 Conclusion