%0 Journal Article
%A Shaoying Liu
%A Wuwei Shen
%A Shin Nakajima
%T A Formal Approach to Testing Programs in Practice
%J Computer Science and Information Systems
%D 2012
%V 9
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2012_9_4_a6/
%F CSIS_2012_9_4_a6