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.") |
|||
| (2 intermediate revisions by one user not shown) | |||
| 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. | |
| + | |||
| + | ==[[media:Scp_tase_2016_tool.zip|Tool sources (in Matlab) + Matlab and Cora Models]]== | ||
| + | |||
| + | ==[[media:Scp_tase_2016_instructions_manual.pdf|Brief Instructions Manual for the Tool]]== | ||
Latest revision as of 06:41, 15 February 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.
