#!/usr/bin/env python # coding: utf-8 # # Part I: Whetting Your Appetite # # In this part, we introduce the topics of the book. # # * [A Grand Tour](Tour.ipynb) gives a quick tour of the book, introducing the different techniques discussed – from the simplest forms of random input to high-end symbolic reasoning. # # * [Introduction to Software Testing](Intro_Testing.ipynb) introduces the basics of software testing, and acquaints you with Python and interactive notebooks.