Certifying Delta-Oriented Programming
To download the Linux Fedora Virtual Machine (VirtualBox/Oracle) used for the experiment:
fedora_sosym_review.ova
How to install the virtual machine and run the experiments scripts
Notes: The source code of the ECall/E122 program have been removed from the Autotools project directories. Only the binary distributions (RPMs) are provided. To check the availability of the source code developed in the context of the HyVar project please contact Ferruccio Damiani.
