Abstract: In previous works, we have proposed Praspel, a framework for contract-based testing in PHP. Among others, it includes a specification language and a unit test generator which automatically ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results