Amanote Research
Register
Sign In
A Unified Approach for Localizing Non-Deadlock Concurrency Bugs
doi 10.1109/icst.2012.85
Full Text
Open PDF
Abstract
Available in
full text
Date
April 1, 2012
Authors
Sangmin Park
Richard Vuduc
Mary Jean Harrold
Publisher
IEEE
Related search
Analyzing Concurrency Bugs Using Dual Slicing
CoopREP: Cooperative Record and Replay of Concurrency Bugs
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
A Study of Concurrency Bugs in an Open Source Software
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Analyzing and Predicting Concurrency Bugs in Open Source Systems
A General Approach to Deadlock Freedom Verification for Software Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)
A Unified Approach for Context-Sensitive Recommendations
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
A UML/MARTE Model Analysis Approach for Detection of Concurrency Faults
