CSI5370

Download as PDF

CSI 5370 Software Verification/Testing

Computer Science & EngineeringSchool of Egr. and Comp. Sci.

Course Title

Software Verification and Testing

Course Description

This course is designed to introduce the basic principles and techniques, facilitated by state-of-the-art software tools, in software verification and testing. Real-world examples are adopted to help understand and practice the underlying theory. Prerequisite: Student must have graduate standing. Formerly CSI 5380. Cross-listed with CSI 4370.

Equivalent Courses

CSE538

College/School

School of Egr. and Comp. Sci.