Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks: a graph-based approach. - Sebastian Kenter (2022)