ERCx

Property testing for ERC tokens.

ERCx checks the conformance of a contract to ERC (Ethereum Request for Comments) standards and additional desirable security properties. ERC standards exist for various sorts of tokens, fungible or not. ERC standards specify essential aspects of a contract (management of transfers, delegation, etc.). Contract developers should strive to follow the guidelines of ERC standards as they provide a reference frame during development.

To check a given contract, ERCx uses property tests: for the contract under test, we generate a tailored test suite, which is a collection of test cases. ERCx also relies on the Foundry testing framework, a reliable and easy-to-setup tool that is widely used by developers and auditors.

In collaboration with Certora, we published a paper on our process to ensure the highest quality possible for the test suite (Nicourt et al., 2024).

Link to the website.

References

2024

  1. Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts
    Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, and Yliès Falcone
    In IEEE Conference on Software Testing, Verification and Validation, ICST 2024, Toronto, ON, Canada, May 27-31, 2024, 2024
    DOI