%0 Journal Article
%T Model-based abductive reasoning in automated software testing
%A Angius, Nicola
%J Logic Journal of the IGPL
%V 21
%N 6
%P 931-942
%@ 1367-0751
%D 2013-12-22
%I Oxford University Press
%~ DeepDyve