Ranged Program Analysis via Instrumentation

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim. Ranged Program Analysis via Instrumentation. In Carla Ferreira 0001, Tim A. C. Willemse, editors, Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Volume 14323 of Lecture Notes in Computer Science, pages 145-164, Springer, 2023. [doi]

Authors

Jan Haltermann

This author has not been identified. Look up 'Jan Haltermann' in Google

Marie-Christine Jakobs

This author has not been identified. Look up 'Marie-Christine Jakobs' in Google

Cedric Richter

This author has not been identified. Look up 'Cedric Richter' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google