INSE 6250/1 AA - Quality Methodologies for Software
(Summer 2015)
Concordia Institute for Information Systems Engineering (CIISE)
Concordia University
The Software Quality Page
http://www.swquality.com/users/pustaver/index.shtml
Software QA and Testing Resource Center
http://www.softwareqatest.com/
Formal Methods
http://shemesh.larc.nasa.gov/fm/
Software Quality Institute (SQI)
http://lifelong.engr.utexas.edu/sqi/index.cfm