AMSTARC Reviews

Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar based fuzzing campaigns, based on an ABI contract, to falsify user defined predicates or Solidity statements. Echidna was designed with modularity in the mind. It can be easily expanded to include new mutations, or test specific contracts for specific cases. It generates inputs that are tailored to your code. Use optional corpus collection, mutation and guidance to find deeper bugs. Powered by Slither, to extract useful information prior to the fuzzing campaigns. Source code integration for identifying which lines have been covered after the fuzzing campaign. Interactive terminal UI with text-only output or JSON. Automatic test case minimization to speed up triage. Integration into the development workflow is seamless. Reporting of maximum gas usage during the fuzzing campaign. Support for the complex contract initialization process with Etheno, Truffle.

Paradox Routing Tool (PART), a Windows-based routing and scheduling program, can be used to help with territory planning, route planning and consolidation, vehicle routing and scheduling, as well as distribution network design. PART is a route planning tool that uses order and vehicle information, DOT regulations and customer service level requirements. It generates schedules and vehicle routes using powerful optimization algorithms, resulting in the lowest distance and highest cost. PART interfaces with Microsoft MapPoint and ALK Technologies’ PC*MILER suite. It provides superior mapping, geocoding, and routefinding capabilities. Site Selection in PART provides decision support to determine the best locations for the most number of facilities based on demand distribution. Routing capabilities include multistop closed-loop routing, one-way routing, zone routing and handling backhauls.