Functional test generation using binary decision diagrams
scientific article; zbMATH DE number 4045657