Part I: Whetting Your Appetite

In this part, we introduce the topics of the book.

• Tours through the book presents a number of tours through the book, introducing the different techniques discussed – from the simplest forms of random input to high-end symbolic reasoning.

• Introduction to Software Testing introduces the basics of software testing, and acquaints you with Python and interactive notebooks.