James R. Larus; Thomas Ball; Manuvir Das; Robert DeLine; Manuel Fahndrich; jon pincus; Sriram K. Rajamani; Ramanathan Venkatapathy
Correctness tools can improve software development by systematically detecting programming errors. Microsoft Research has developed two generations of these tools that help programmers find and fix errors early in the development process.
Publisher: Institute of Electrical and Electronics Engineers, Inc.
IEEE Software, Vol. 21, No. 3, pp 92–100, May/June 2004.