Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP. (Automated Unit Test Generation with Praspel, a Specification Language for PHP)

Ivan Enderlin. Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP. (Automated Unit Test Generation with Praspel, a Specification Language for PHP). PhD thesis, University of Franche-Comté, Besançon, France, 2014. [doi]

Abstract

Abstract is missing.