Published July 18, 2022
| Version v1
Software
Open
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing
- 1. MPI-SWS
- 2. Saarland University
- 3. ConsenSys
- 4. Saarland University,
Description
π-fuzz is a metamorphic action policy testing framework implemented as part of our ISSTA 2022 paper Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing. This artifact provides a Docker image, for reproducing results presented in the paper. One has to load the image using docker load and then run it using docker run -it <image_id>.
For the source code repository, please check the this link.
Files
Files
(10.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:112a99033978a5271ae86fe8518932f8
|
10.4 GB | Download |