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 is missing.