Detecting atomic-set serializability violations in multithreaded programs through active randomized testing

Concurrency bugs are notoriously difficult to detect because there can be vast combinations of interleavings among concurrent threads, yet only a small fraction can reveal them. Atomic-set serializability characterizes a wide range of concurrency bugs, including data races and atomicity violations....

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2010 ACM/IEEE 32nd International Conference on Software Engineering Jg. 1; S. 235 - 244
Hauptverfasser:	Lai, Zhifeng, Cheung, S. C., Chan, W. K.
Format:	Tagungsbericht
Sprache:	Englisch Japanisch
Veröffentlicht:	New York, NY, USA ACM 01.05.2010 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	atomicity Computer bugs Concrete Concurrent computing dynamic analysis General and reference > Cross-computing tools and techniques > Reliability Instruction sets Monitoring serializability Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software organization and properties > Extra-functional properties > Software reliability software testing Synchronization Testing serializability dynamic analysis atomicity software testing
ISBN:	9781605587196, 1605587192
ISSN:	0270-5257
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!