Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle. (Applicative Languages and Abstract Machines for Structural Code Coverage)

Philippe Wang. Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle. (Applicative Languages and Abstract Machines for Structural Code Coverage). PhD thesis, Pierre and Marie Curie University, Paris, France, 2012. [doi]

Abstract

Abstract is missing.