"A Case Study on Executing Instrumented Code in Java PathFinder."

Karl Palmskog, Farah Hariri, Darko Marinov (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics