Software testing fundamentals : introduction to software verification theory - Samuelis, Ladislav (Technical University of Košice, 2013)