arbeiten:arbeitstitel_usability_der_fehlerdarstellung_in_unterschiedlichen_werkzeugen_zur_automatisierten_softwarepruefung