Type Checking
Chapter1 Software Testing Background
Type Checking Textbook: Types and Programming Languages Benjamin Pierce.
Software Testing Background Reading: –Ron Patton, Software Testing, 2nd ed., 2006. Chapter 1 –Daniel Michaels and Andy Pasztor, “Incidents Prompt New Scrutiny.