All projects

Research

Test amplifier for smart contracts

Research into growing a Solidity test suite so more edge cases are caught before release.

Smart contracts are hard to change after deploy. This research looks at growing tests so more faults are found first. It is not a live SaaS.

Challenge
Smart-contract teams needed broader coverage without writing every case by hand.
What Yvios built
A research method that combines generated tests with search-based refinement for Solidity contracts.
Approach
Compare generated tests, search-based diversification and a hybrid of both, then measure coverage — not market claims.
Current status
Research. Not a commercial product.
Result
The approach can widen a test suite and plug into existing developer pipelines. It remains research.
Evidence
Method and coverage notes in the case record. No product interface to show.
What’s in it
Automated checks, Coverage analysis

This project belongs to Yvios Intelligence.

Recognise your own situation here?