Sangmin Park, profile picture

Sangmin Park

Sort by
Effective Fault-Localization Techniques for Concurrent Software
Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs
CarFast: Achieving Higher Statement Coverage Faster
Testing Concurrent Programs to Achieve High Synchronization Coverage
UNICORN: A Unified Approach for Localizing Non-deadlock Concurrency Bugs
Falcon: Fault Localization in Concurrent Programs