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ženo v:

Podrobná bibliografie
Vydáno v:	International journal of parallel programming Ročník 44; číslo 3; s. 644 - 662
Hlavní autoři:	Jannesari, Ali, Wolf, Felix
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.06.2016 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!