Impossible pair constrained test path generation in a program
impossible pair constrained path in a program
scientific article; zbMATH DE number 3804868