ECE 654
Software Reliability Engineering
Spring 2016
Topics
- Software reliability and security concepts
- Unit testing and automated test generation
- Bug-finding tools and secure coding guidelines
- Type systems and the Checker Framework
- Design by specification
- Program verification
- Model checking
- Theorem proving
Readings
- Assigned research papers and lecture references are provided on LEARN. No textbook purchase is required.
Sources
- Course catalogue ↗2026–2027
- Course source ↗2023
- course_outline ↗Spring 2016
- Public departmental course outline. Source may be archival; no current-term assignment is implied. Bibliographic details are preserved in textbook notes.