Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,220,494 papers from all fields of science
Search
Sign In
Create Free Account
Praspel
Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP. It is based on the design-by-contract…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
ANSI/ISO C Specification Language
Comment (computer programming)
Design by contract
Formal specification
Expand
Broader (1)
PHP
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Contract-based testing for PHP with Praspel
Frédéric Dadeau
,
Alain Giorgetti
,
F. Bouquet
,
Ivan Enderlin
Journal of Systems and Software
2018
Corpus ID: 28372681
2014
2014
Praspel: Contract-Driven Testing for PHP using Realistic Domains
Ivan Enderlin
,
F. Bouquet
,
Frédéric Dadeau
,
Alain Giorgetti
2014
Corpus ID: 195938842
We present an integrated contract-based testing framework for PHP. It relies on a behavioral interface specification language…
Expand
2014
2014
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
Corpus ID: 3204878
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE