PROGRAMME VON sf.net/projects/catchconv

Automatische Generierung von Testeingaben zum Abfangen von Konvertierungsfehlern zwischen signierten und nicht signierten Ganzzahlen. Valgrind-Plug-in, das mit dem StP-Entscheidungsverfahren (separat heruntergeladen) funktion