completed
MLabs - Apropos for Property Tests
Current Project Status
Complete
Amount
Received
Received
$62,400
Amount
Requested
Requested
$62,400
Percentage
Received
Received
100.00%
Solution
While QuickCheck is effective, we propose Apropos which generates thousands of property tests based on a logical dApp construct greatly increasing confidence in code and reducing the developer burden.
Problem
Property tests help ensure mission-critical dApps don’t contain vulnerabilities. However, writing tests to check every contract permutation and edge-case state is exhausting if not wholly impossible.
Impact / Alignment
Feasibility
Auditability