%0 Journal Article
%T Symbolic execution and program testing
%A King, James C.
%J Communications of the ACM
%V 19
%N 7
%@ 0001-0782
%D 1976-07-01
%I Association for Computing Machinery
%~ DeepDyve