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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	International journal of parallel programming Ročník 44; číslo 3; s. 644 - 662
Hlavní autori:	Jannesari, Ali, Wolf, Felix
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York Springer US 01.06.2016 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!