Coverage-Driven Test Code Generation for Concurrent Classes

Previous techniques on concurrency testing have mainly focused on exploring the interleaving space of manually written test code to expose faulty interleavings of shared memory accesses. These techniques assume the availability of failure-inducing tests. In this paper, we present AutoConTest, a cove...

Full description

Bibliographic Details

Published in:	Proceedings / International Conference on Software Engineering pp. 1121 - 1132
Main Authors:	Terragni, Valerio, Shing-Chi Cheung
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.05.2016
Subjects:	Automated test generation Concurrent computing Instruction sets Interleaving coverage criteria Programming Space exploration Synchronization Testing
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!