Parallel program analysis on path ranges. - Haltermann, Jan; Jakobs, Marie-Christine; Richter, Cedric; Wehrheim, Heike (Science of Computer Programming, 2024)