1. , and (1987) Software Testing and Evaluation, Benjamin/Cummings, Menlo Park, California.
2. An applicable family of data flow testing criteria
3. (1989) ‘An effective strategy and automation concepts for systematic testing of safety related software,’ in et al. (eds), Proceedings of the Conference on Safety of Computer Systems (SAFECOMP '89), Pergamon Press, U. K., pp. 71–79.
4. Software-Entw;Grimm,1991
5. Program testing versus proofs of correctness