Lecture Software testing and analysis: Chapter 19 - Mauro Pezzè, Michal Young
Lecture Software testing and analysis: Chapter 19 - Mauro Pezzè, Michal Young
After studying this chapter you will be able to: Understand how automated program analysis complements testing and manual inspection; understand fundamental approaches of a few representative techniques (Lockset analysis, pointer analysis, symbolic testing, dynamic model extraction; recognize the same basic approaches and design trade-offs in other program analysis techniques).