CSc 630 Advanced Topics in Software Systems:
Software Analysis, Testing and Verification

Instructor: Neelam Gupta

Office: Gould-Simpson Bldg., Rm. 708.
Tele: 626-8282
Email: ngupta@cs.arizona.edu

Meeting Times: 9:30am-10:45am, TTh, GLD-S 701

Office Hours: 2pm to 3pm TTh and by appointment

Class Homepage: http://www.cs.arizona.edu/classes/cs630/spring05/630/

Schedule and Lecture Notes

Reading List & Potential Projects

Course Description

The primary objective of this course is to introduce techniques to verify that the runtime behavior of software meets its specifications. The course will involve extensive study of research papers on topics such as static and dynamic program slicing, path profiling and program spectra, concept analysis, detection of program invariants, test data generation, test case prioritization and test suite reduction, regression testing, fault location, software visualization for fault location, model checking and verification.

Course Requirements and Grading

Policies


Attendance: You are responsible for all the material covered in the class whether you attend the class or not. Regular attendance is strongly recommended and has 10% credit in the final grade..
Academic integrity: If you use any of the existing software tools in your project, they may be used with proper reference of the source. The minimum penalty for any student caught cheating will be a zero for the project; the maximum penalty will be a failing grade in the course. Also refer to The Univ. of Arizona Code of Academic Integrity.
Use of published work: unless specifically forbidden to do so, you may use material that is publicly available (e.g., in a textbook or a technical journal), provided that appropriate attribution is given. Using material from a textbook, journal, or other such external source without proper attribution is considered to be cheating.


Relevant Conferences and Journals