Foundations of Software Testing, Draft V4.x
Chapter numbers in tables below correspond to the expected published version. Corresponding numbers in the currently available draft V3.0 are listed in the rightmost column.

Table of contents and sample pages on this web site are intended for (a) instructors who want to consider adopting this book for a class and (b) publishers who want to consider it for publication. Kindly inform the author if you are considering the book for adoption or publication. Thank you.
Volume I.

Recommended for Software Testing, Model-based Software Testing II, Model-based Software Testing III, and testing practitioners.

All samples are PDF files.
Title, Dedication, and Table of Contents
Preface
Acknowledgements
Subject Index
Name Index
Chapter
Title (Some samples are from an earliar draft)
 Draft V4.x Chapter
1 Preliminaries 1
2 Errors, faults, and failures Under construction
3 Software test process Under construction
4 Test generation from requirements 2
5 Test generation from finite state models 3
6 Combinatorial test design 6
7 Test adequacy assessment and enhancement: control and data flow 9
8 Test adequacy assessment and enhancement: mutation 10
Volume II.

Recommended for Model-based Software Testing II, Model-based Software Testing III, software testing researchers, and testing practitioners.
Chapter
Title
Draft V4.x Chapter
9
 Test generation from statecharts
4
10
 Test generation from timed automata
5
11
 Test generation from formal specifications
8
12
 Test generation from code
Under construction
13
 Test selection for regression testing
7
14
 Test generation for concurrent and distributed systems
Under construction
15
 Random test generation
Under construction
16
 Fault injection testing
Under construction
17
 Empirical studies
Under construction
18
 Testing graphical user interfaces
Under construction
19
 Testing object-oriented systems
Under construction
20
 Testing WEB applications
Under construction
21
 Testing databases
Under construction
22
 Testing for security
Under construction
23
 Software reliability
Under construction
24
 Empirical studies
Under construction
Sample exercises
Last update: January 3, 2007