CS 5154

CS 5154

Course information provided by the 2026-2027 Catalog.

Software testing is a widely used approach for detecting flaws in software. Systematic and organized approaches to software testing will be covered, including test adequacy criteria, manual and automatic generation of test inputs, regression testing, debugging, and dynamic analyses for detecting known classes of software errors.


Prerequisites for Computer Science majors: CS 3110 or CS 4120.

Enrollment Priority Open to: Computer Science graduate students and Computer Science majors who meet the prerequisites; others by permission of instructor.

Last 4 Terms Offered 2025FA, 2023FA, 2022FA, 2021FA

Learning Outcomes

  • Design and automate the execution of high-quality software tests.
  • Generate test suites that meet coverage and other adequacy criteria.

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 3 Credits GradeNoAud

  • 17916 CS 5154   LEC 001

    • MW
    • Aug 24 - Dec 7, 2026
    • Legunsen, O

  • Instruction Mode: In Person

    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/