Java Pathfinder
| Developer(s) | NASA |
|---|---|
| Stable release | |
| Operating system | Cross-platform |
| Type | Model checking |
| License | NASA Open Source Agreement version 1.3 |
| Website | http://babelfish.arc.nasa.gov/trac/jpf |
Java Pathfinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker developed by NASA.
See also
- NASA World Wind
- MoonWalker - similar to Java PathFinder, but for .NET programs instead of Java programs
External links
- Official site
- New NASA Software Detects 'Bugs' in Java Computer Code
- NASA Develops New Software to Detect "Bugs" in Java Computer Code
- Building and Running Java PathFinder with NetBeans by Charlie Hunt
- Willem Visser, Corina S. Păsăreanu, Sarfraz Khurshid. Test Input Generation with Java PathFinder. In: George S. Avrunin, Gregg Rothermel (Eds.): Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis 2004. ACM Press, 2004. ISBN 1-58113-820-2.
 | This software article is a stub. You can help Wikipedia by expanding it. |