Praspel: A Specification Language for Contract-Based Testing in PHP. - Ivan Enderlin; Frédéric Dadeau; Alain Giorgetti; Abdallah Ben Othman (ICTSS, 2011)

Grammar-Based Testing Using Realistic Domains in PHP. - Ivan Enderlin; Frédéric Dadeau; Alain Giorgetti; Fabrice Bouquet (ICST, 2012)

A Constraint Solver for PHP Arrays. - Ivan Enderlin; Alain Giorgetti; Fabrice Bouquet (ICST Workshops, 2013)

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 (2014)

Contract-based testing for PHP with Praspel. - Frédéric Dadeau; Alain Giorgetti; Fabrice Bouquet; Ivan Enderlin (J. Syst. Softw., 2018)