Computer-aided Software Tests