| dc.contributor.author | Keul, Steffen | |
| dc.contributor.author | Prokharau, Mikhail | |
| dc.contributor.author | Gerlach, Daniel | |
| dc.contributor.author | Jenke, Carola | |
| dc.contributor.author | Raza, Aoun | |
| dc.date.accessioned | 2023-04-06T10:34:21Z | |
| dc.date.available | 2023-04-06T10:34:21Z | |
| dc.date.issued | 2010 | |
| dc.identifier.issn | 0720-8928 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/41139 | |
| dc.description.abstract | Statische Programmanalyse zur Erkennung von Data Races ist ein wichtiges Werkzeug zur Sicherstellung der Korrektheit von nebenläufigen Programmen in Entwicklung und Wartung. Der Einsatz statischer Analyse lässt jedoch eine Anzahl an falsch positiven Warnungen erwarten. In diesem Papier wird ein Werkzeug zur manuellen Untersuchung und Bewertung dieser Meldungen vorgestellt. | de |
| dc.language.iso | de | |
| dc.publisher | Geselllschaft für Informatik e.V. | |
| dc.relation.ispartof | Softwaretechnik-Trends Band 30, Heft 2 | |
| dc.title | RaceVis: Ein Werkzeug zur Visualisierung von Data Races | de |
| dc.type | Journal Articles | |
| dc.pubPlace | Bonn | |
| mci.conference.sessiontitle | Berichte aus den Fachgruppen und Arbeitskreisen - FG SRE: Bericht und Beiträge des gemeinsamen Workshops Software-Reengineering und Design for Future vom 3. - 5. Mai 2010 in Bad Honnef | |
