Integrated static code analysis and runtime verification - Sozer, H (Software, practice & experience, 2015)
Keywords: Computer programs; Dynamical systems; Dynamics; Faults; model transformations; Run time (computers); runtime verification; Software; software verification; Specifications; Static code analysis; tool integration