RouteGenie
Everything you want in your NEMT software. RouteGenie minimizes your costs by building you the most efficient schedule everyday based on the capacity of your vehicles. On average, RouteGenie customers see a 10-20% reduction in the number of vehicles on the road and miles driven. Once your day gets started, a lot of trip changes are coming: new trips, no shows, driver call offs, and vehicle breakdowns happen everyday. DispatchGenie adjusts in real-time, making live dispatching decisions and even muti-loading trips automatically. Transportation providers get trips from a wide variety of different sources. Getting all of them into one place with the most up-to-date and information is critical. The ImportGenie offers best-in-class real time integrations to make information flow into your systems seamlessly. BillingGenie helps you maintain the financial health of your business by making it easy to generate all of your billing. This will include broker billing, and CMS 1500 forms.
Learn more
TripMaster
Industry-Leading NEMT & Paratransit Scheduling & Dispatching Software. TripMaster provides efficient, cost-effective NEMT, demand-response, and paratransit management tools. Supporting your paratransit and NEMT operations with user-friendly solutions. Since the beginning, TripMaster has been driven by our customers. Today it’s a full-service transit suite, including modules for: Automated scheduling, Powerful custom reporting, Integrated voice response, Mobile solutions and an automated vehicle locator, Web-based rider portal. CTS Software offers complete auditing support, manpower and vehicle resource management, cost control, payroll tracking, route management, statistical reporting, computer-assisted scheduling, electronic billing, and much more. We offer a 90-day, money-back guarantee: after a live demo to show you TripMaster, we set up your database and work with you to train the members of your staff, offering our full range of support and training.
Learn more
Echidna
Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in specific cases. Generates inputs tailored to your actual code. Optional corpus collection, mutation and coverage guidance to find deeper bugs. Powered by Slither to extract useful information before the fuzzing campaign. Source code integration to identify which lines are covered after the fuzzing campaign. Interactive terminal UI, text-only or JSON output. Automatic test case minimization for quick triage. Seamless integration into the development workflow. Maximum gas usage reporting of the fuzzing campaign. Support for a complex contract initialization with Etheno and Truffle.
Learn more