Automatische Synthese von Metamorphen Relationen aus bestehenden Testfällen

Entwickler-geschriebene Testfälle können domänenspezifisches Wissen enthalten, das metamorphe Relationen (MRs) kodiert. Solche kodierten MRs können für das Testen nicht nur ihrer ursprünglichen Programme, sondern auch anderer Programme mit ähnlichen Funktionalitäten synthetisiert werden.