Static and runtime verification, competitors or friends?

Gurov, D., Havelund, K., Huisman, M., & Monahan, R. (2016). Static and runtime verification, competitors or friends? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9952 LNCS, pp. 397–401). Springer Verlag. https://doi.org/10.1007/978-3-319-47166-2_27