Evolutionary generation of unique input/output sequences for class behavioral testing
scientific article; zbMATH DE number 5708507