Sozer, H. (2015) Integrated static code analysis and runtime verification. SOFTWARE-PRACTICE & EXPERIENCE , 45(10), 1359-1373.