Ab­ge­schlos­se­ne Ab­schulss­a­r­bei­ten - De­tails

Ei­ne SAT-Test­mus­ter­er­zeu­gung für aus­ge­wähl­te Test­zeit­punk­te

Studierende: Melanie Jung
Betreuer: Jan Dennis Reimer

In dieser Bachelorarbeit soll der vorhandene WaveSAT Algorithmus erweitert werden, indem die Testmustergenerierung für ausgewählte Testzeitpunkte ermöglicht wird.