I am happy to announce the final version of our new FSE paper (joint work with Patrick Lam and my supervisor Laurie Hendren). You can grab the paper here. The idea of the paper is that runtime monitoring is nice because it manages to show you only actual errors, but nevertheless one should make a best effort to evaluate a runtime monitor ahead-of-time, i.e. at compile-time, as well as possible, so that programmers can find errors in the programs earlier in the development process.
Prof. Dr. Eric Bodden
Professor for Secure Software Engineering at Heinz Nixdorf Institute, Paderborn University and
Director for Software Engineering and IT Security at Fraunhofer IEM
Director for Software Engineering and IT Security at Fraunhofer IEM
