Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman. Praspel: A Specification Language for Contract-Based Testing in PHP. In Burkhart Wolff, Fatiha Zaïdi, editors, Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Volume 7019 of Lecture Notes in Computer Science, pages 64-79, Springer, 2011. [doi]
Abstract is missing.