Falcon fault localization in concurrent programs

Concurrency fault are difficult to find because they usually occur under specific thread interleavings. Fault-detection tools in this area find data-access patterns among thread interleavings, but they report benign patterns as well as actual faulty patterns. Traditional fault-localization technique...

Full description

Saved in:

Bibliographic Details
Published in:	2010 ACM/IEEE 32nd International Conference on Software Engineering Vol. 1; pp. 245 - 254
Main Authors:	Park, Sangmin, Vuduc, Richard W., Harrold, Mary Jean
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 01.05.2010 IEEE
Series:	ACM Conferences
Subjects:	atomicity violation Computing methodologies > Parallel computing methodologies > Parallel programming languages concurrency Concurrent computing debugging fault localization Information systems > Data management systems > Middleware for databases > Distributed transaction monitors Instruction sets Java Message systems order violation Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software creation and management > Software verification and validation > Process validation > Traceability Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software notations and tools > General programming languages > Language types > Parallel programming languages Software and its engineering > Software organization and properties > Contextual software domains > Operating systems > Process management > Monitors Statistical analysis Testing debugging fault localization atomicity violation order violation concurrency
ISBN:	9781605587196, 1605587192
ISSN:	0270-5257
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!