PathDroid(ARC-17293-1)

system testing
PathDroid
(ARC-17293-1)
Overview
PathDroid is an extension of the open sourced Java Pathfinder (JPF) verification framework that supports checking binary Android applications for absence of software defects such as unhandled exceptions and deadlocks.PathDroid let users run such applications on development platforms, without the need for hardware-in-the-loop or availability of sources.
Software Details

Category
System Testing
Reference Number
ARC-17293-1
Release Type
Open Source
Operating System
Contact Us About This Technology

Ames Research Center
Stay up to date, follow NASA's Technology Transfer Program on:
facebook twitter linkedin youtube
Facebook Logo Twitter Logo Linkedin Logo Youtube Logo