Introduction: Introduction to software testing and analysis, Error, Fault, Failure, Incident, Test Cases, Testing Process, Limitations of Testing, No absolute proof of correctness, Overview of Graph Theory. Specification-based testing techniques, code-based testing techniques, Model-based testing, Functional Testing: Boundary Value Analysis, Equivalence Class Testing, Decision Table Based Testing, Cause Effect Graphing Technique. Structural Testing: Path testing, DD-Paths, Cyclomatic Complexity, Graph Metrics, Data Flow Testing, Mutation testing, Static Analysis, Dynamic Analysis Reducing the number of test cases: Prioritization guidelines, Priority category, Scheme, Risk Analysis, Regression Testing, Slice-based testing Testing Activities: Unit Testing, Levels of Testing, Integration Testing, System Testing, Debugging, Domain Testing, Regression Testing, Acceptance testing Object Oriented Testing: Issues in Object Oriented Testing, Class Testing, GUI Testing, Object Oriented Integration and System Testing, Methods of test data generation and validation. Program slicing and its application, Reliability analysis, Formal methods; verification methods; oracles. Testing Tools: Static Testing Tools, Dynamic Testing Tools, and Characteristics of Modern Tools.

1. William Perry, “Effective Methods for Software Testing”, John Wiley & Sons, New York, 2007.
2. CemKaner, Jack Falk, Nguyen Quoc, “Testing Computer Software”, Second Edition, Van Nostrand Reinhold, New York, 2000.
3. Boris Beizer, “Software Testing Techniques”, Second Volume, Second Edition, Van Nostrand Reinhold, New York, 1990.
4. Louise Tamres, “Software Testing”, Pearson Education Asia, 2002
5. “Software Testing: A Craftsman’s Approach, Second Edition,” by Paul C Jorgensen, CRC Press, June 26, 2002. (required)
6. “The Art of Software Testing,” 2nd ed., Glenford J. Myers, John Wiley & Sons, Inc., Hoboken, New Jersey, 2004. (optional)
7. “Lessons Learned in Software Testing: a Context-Driven Approach,” CemKaner, James Bach, and Bret Pettichord, John Wiley & Sons, Inc., New York, 2002. (optional).