Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim: Ranged Program Analysis via Instrumentation. SEFM 2023: 145-164