Our Reading List

Formal Specifications

A Specifier's Introduction To Formal Methods, Jeanette M. Wing,

Testing

In defense of program testing or correctness proofs considered harmful, Andrew S. Tanenbaum, ACM SIGPLAN Notices Volume 11 , Issue 5 (May 1976), Pages: 64 - 68