When developers program software, errors happen. Automatic testing can help, but so far it requires a lot of effort to contrive test cases. Computer scientists from Saarbruecken have now developed ...