Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies | IEEE Conference Publication | IEEE Xplore