A major theme of this module is the integration of testing and
analysis techniques within the software life-cycle. Particular
emphasis will be placed on code level analysis and safety critical
applications. The application and utility of static checking
will be studied through extensive use of a static analysis tool (ESC Java)
for Java.
Kit, E.
Software Testing in the Real World,
Addison-Wesley, 1995.
Myers, G.J.
The Art of Software Testing,
Wiley & Sons, 1979.
Sommerville, I. Software Engineering, 5th Edition, Addison-Wesley, 1996.
An authoritative and readable book on everything about software
engineering. Static analysis is covered in chapter 24.