Search Data.gov
Found 2 dataset(s) matching "jpf".
-
Pathdroid is a framework to analyze binary Android applications for program defects and malicious behaviors. Pathdroid is based on the Java Pathfinder (JPF) verification system...
-
Data is included for three sets of laboratory experiments where various fish species were tested in several multi-week trials to determine their suitability in serving as parasitic hosts for...
