CS 580A5 - Software Testing and Analysis

Techniques to analyze and test programs: test input generation, execution, test adequacy assessment, and fault localization. Graduate standing required.

This course can be applied towards:


CS 414 (Object-Oriented Design) with a C or better, or written consent of instructor.

Textbook and Materials

Required Textbook: Paul Ammann and Jeff Offutt, Introduction to Software Testing, Cambridge University Press, Cambridge, UK

Edition 2 is expected to be out in Oct 2016.

Edition 1 is available, UK, ISBN 0-52188-038-6, 2008.


Sudipto Ghosh
Sudipto Ghosh

(970) 491-4608 | ghosh@cs.colostate.edu

Dr. Sudipto Ghosh received the Bachelor of Technology degree in Computer Science and Engineering from the Indian Institute of Technology, Kanpur, India in 1993. He received the MS degree in Computer Science from Iowa State University in 1995 and the Ph.D. degree from Purdue University in 2000. He is currently an Associate Professor of Computer Science at Colorado State University.

Dr. Ghosh's teaching and research interests include modeling, designing and testing of object-oriented software, middleware technologies, and aspect-oriented and component-based software development. He is a member of ACM and IEEE Computer Society. He is on the editorial boards of three journals: Information and Software Technology, Software Quality Journal, and the Journal of Software Testing, Verification, and Reliability.

Dr. Ghosh was a general co-chair of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems held in Denver in 2009, and the 14th International Conference on Modularity held in Fort Collins in 2015. He was a program co-chair of the Third International Conference on Software Testing, Verification and Validation held in Paris in 2010.