Informatiker der Universität des Saarlandes haben ein Verfahren entwickelt, mit dem Softwarefehler gleich entdeckt und automatisch wieder behoben werden. bellhäuser - das bilderwerk