Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sangmin Park
A Unified Approach for Localizing Non-Deadlock Concurrency Bugs
Related publications
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
