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

Full description

Saved in:

Bibliographic Details
Published in:	International journal of parallel programming Vol. 44; no. 3; pp. 644 - 662
Main Authors:	Jannesari, Ali, Wolf, Felix
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.06.2016 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!