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

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings / International Conference on Software Engineering s. 1121 - 1132
Hlavní autoři:	Terragni, Valerio, Shing-Chi Cheung
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.05.2016
Témata:	Automated test generation Concurrent computing Instruction sets Interleaving coverage criteria Programming Space exploration Synchronization Testing
ISSN:	1558-1225
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!