Doron Drusinsky, J. Bret Michael, Man-tak Shing. Rapid runtime system verification using automatic source code instrumentation. In 6th International Conference on System of Systems Engineering, SoSE 2011, Albuquerque, New Mexico, USA, June 27-30, 2011. pages 1-6, IEEE, 2011. [doi]
Abstract is missing.