Tutorial: Software testing & validation techniques - Miller, Edward; Howden, William E. (IEEEComputer Soc. Pr., 1981)