Lightweight formal models of software weaknesses

Robin A. Gandhi, Harvey P. Siy, Yan Wu. Lightweight formal models of software weaknesses. In 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013. pages 50-56, IEEE Computer Society, 2013. [doi]

Abstract

Abstract is missing.