The two papers assigned for today are the first ones we see in this course that apply systematic testing techniques to "real" software:

Model Checking Large Network Protocol Implementations, D. Engler and M. Musuvathi, NSDI 2004
Thorough Static Analysis of Device Drivers, T. Ball et al., EuroSys 2006

Real software poses a variety of challenges to formal testing techniques. Choose the challenge that you think is the most major one, describe how the paper(s) addressed it, and identify two limitations of the proposed techniques relative to the chosen challenge.

---

Favorite OP4: Rong's OP