Aditya Mathur is a Professor of Computer Science at Purdue University, West Lafayette, Indiana, USA and also the Head of Pillar Information Systems Technology and Design at the Singapore University of Technology and Design. He is a founding member of the Department of Computer Science at the Birla Institute of Technology and Science, Pilani. He has taught courses in Computer Sciences at all levels since 1972.  His book titled Introduction to Microprocessors was the first text of its kind in India published in 1980. This book continues to a favorite of thousands of students.


Aditya is a prolific researcher and has published extensively in quality international journals and conferences in the area of software engineering.


 

Part I: Preliminaries


1. Preliminaries: Software Testing


2. Preliminaries: Mathematical

Part II: Test Generation


3. Domain Partitioning


4. Predicate Analysis


5. Test Generation: FSM Models


6. Test Generation: Combinatorial Designs

Part III: Test Adequacy


7. Control Flow and and Data Flow


8. Program Mutation

Part IV: Phases of Testing


9. Regression Testing


10. Unit Testing


11. Integration Testing


 

• Mathematical and algorithmic approach followed to describe a wide range of simple to complex techniques for test generation.


• Detailed treatment of topics such as test generation from finite state models, combinatorial designs and test selection and minimization for regression testing.


• Test adequacy assessment using criteria mandated by the FAA and other agencies; data-flow based adequacy and mutation-based adequacy which are the most powerful of the available test adequacy criteria.


• Step-by-step algorithms to generate tests.


• Comparative analyses of commercially available testing tools to facilitate tool selection.