Department of Computer Engineering2024-11-1020063-540-34454-30302-9743N/A2-s2.0-33746661639https://hdl.handle.net/20.500.14288/17696We propose a novel, practical coverage metric called "location pairs" (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors that lead to atomicity or refinement violations. We describe a software tool for measuring LP coverage and outline an inexpensive application of predicate abstraction and model checking for ruling out infeasible coverage targets.Computer scienceSoftware engineeringA novel test coverage metric for concurrently-accessed software components (A work-in-progress paper)Conference proceeding1611-334923841760000510338