Tutorial: Software testing & validation techniques (IEEE, 1978)