Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs

A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests. This paper presents an approach to generate parallel unit te...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal of parallel programming Jg. 44; H. 3; S. 644 - 662
Hauptverfasser:	Jannesari, Ali, Wolf, Felix
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.06.2016 Springer Nature B.V
Schlagworte:	Analysis Automation Computer programming Computer Science Concurrency Correlation Debugging Estimates Generators Parallel processing Parallel programming Processor Architectures Race Redundant Semantics Software Software Engineering/Programming and Operating Systems Studies Theory of Computation Variables Unit tests Correlated variables Parallel programming Automatic testing Race detection Debugging Program analysis
ISSN:	0885-7458, 1573-7640
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!