Software Analysis and Testing

Study Material

Making Real Programs Explode - A Simple Application of Random Testing

A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs