A Domain Strategy for Computer Program Testing - White, L.J.; Cohen, E.I. (IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions on, IIEEE Trans. Software Eng., 1980)