fixed-sized-candidate-set ART; software testing; application software; 9781595934802