Praspel: A Specification Language for Contract-Based Testing in PHP.

Ivan Enderlin Frédéric Dadeau Alain Giorgetti Abdallah Ben Othman

Published in: ICTSS (2011)

Keyphrases

specification language
symbolic execution
formal specification
programming language
description language
open source
software environment
web applications
requirements specification
website
supply chain
data warehouse