Difference between revisions of "SCP TASE 2016"
From CERES
(Created page with "=SCP TASE 2016 Prototype= This is a page were we post the source code of the prototype and the models developed to try the theory of sound conformance testing.") |
|||
| Line 1: | Line 1: | ||
=SCP TASE 2016 Prototype= | =SCP TASE 2016 Prototype= | ||
| − | + | In this page, we provide the source for the prototype tool and the models developed for validating the approach proposed in the extended version of the TASE 2016 paper submitted to the Science of Computer Programmin Journal. | |
Revision as of 19:08, 20 January 2017
SCP TASE 2016 Prototype
In this page, we provide the source for the prototype tool and the models developed for validating the approach proposed in the extended version of the TASE 2016 paper submitted to the Science of Computer Programmin Journal.
