Pattern-Constrained Test Case Generation.

Martin Atzmller, Joachim Baumeister, Frank Puppe

Browse the full FlAIRS paper archive.