Software-Produktlinien-Entwicklung bietet eine systematische Wiederverwendung von Software-Artefakten. Auf Grund der Tatsache, dass viele Produkte aus einer Produktlinie abgeleitet werden können, ist es unerlässlich Testverfahren zu entwickeln, die zum einen eine möglichst vollständige Abdeckung von allen möglichen Produkten sicherstellen und zum anderen weniger aufwändig sind, als jedes Produkt einzeln zu testen. In diesem Beitrag wird die Entwicklung eines neuen Algorithmus zur Auswahl einer Menge von Produktinstanzen als Testkandidaten beschrieben. Dieser vereint Techniken der Modelltransformation, des kombinatorischen Testens und des Lösens binärer Constraintsysteme vermittels Forward Checking.