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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings / International Conference on Software Engineering S. 1121 - 1132
Hauptverfasser:	Terragni, Valerio, Shing-Chi Cheung
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.05.2016
Schlagworte:	Automated test generation Concurrent computing Instruction sets Interleaving coverage criteria Programming Space exploration Synchronization Testing
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!