Get Alternative find best software

Java Pathfinder

Software verification tool, Virtual machine

Java Pathfinder Description
Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005. The acronym JPF is not to be confused with the unrelated Java Plugin Framework project.
The core of JPF is a Java Virtual Machine. JPF executes normal Java bytecode programs and can store, match and restore program states. Its primary application has been Model checking of concurrent programs, to find defects such as data races and deadlocks. With its respective extensions, JPF can also be used for a variety of other purposes, including
* model checking of distributed applications
* model checking of user interfaces
* test case generation by means of symbolic execution
* low level program inspection
* program instrumentation and runtime monitoring
JPF has no fixed notion of state space branches and can handle both data and scheduling choices.
A list below shows Java Pathfinder alternatives which were either selected by us or voted for by users. You can filter this list by tags and platforms

Latest version of Java Pathfinder is 6.0 and it was released on 2010-11-30.

Java Pathfinder Alternatives

  • TAO by ,, (formerly CRP Henri Tudor),, research unit of the

    TAO is the French acronym for Testing Assisté par Ordinateur (Computer Based Testing). The TAO framework provides an open architecture for computer-assisted test development and delivery, with the...

    Latest version of TAO is 3.0 and it was released on {{Start date and age|2015|05|}}.

    Tags: Free Software Testing Tools, Educational Assessment And Evaluation, Software For Teachers
  • SourceMeter by {{URL|https://frontendart.com/|FrontEndART Ltd.}}

    SourceMeter is a source code analyzer tool, which can perform deep static program analysis of the source code of complex programs in C, C++, Java, Python, C#, and RPG (AS/400). FrontEndART has...

    Latest version of SourceMeter is 8.0 and it was released on 2016-02-01.

    Tags: Static Program Analysis Tools, Free Software Testing Tools
  • RIPS by RIPS Technologies

    RIPS (Re-Inforce PHP Security) is a static code analysis software for the automated detection of security vulnerabilities in PHP applications. The initial tool was written by Johannes Dahse and...

    Tags: Static Program Analysis Tools, Free Software Testing Tools
  • Cppcheck

    Cppcheck is a static code analysis tool for the C and C++ programming languages. It is a versatile tool that can check non-standard code. The creator and lead developer is Daniel...

    Latest version of Cppcheck is 1.80 and it was released on 2017-07-29.

    Tags: Crossplatform Free Software, Free Software Programmed In C, Free Software Testing Tools, Software Using The Gpl License, Static Program Analysis Tools
  • Sparse by Josh Triplett, Christopher Li

    Sparse is a computer software tool designed to find possible coding faults in the Linux kernel. Unlike other such tools, this static analysis tool was initially designed to only flag constructs that...

    Latest version of Sparse is 0.5.0 and it was released on 2014-01-29.

    Tags: Static Program Analysis Tools, Free Software Testing Tools, Software Using The Mit License
  • Squale Software QUALity Enhancement

    Squale (Software Quality Enhancement) is an open-source platform that helps monitoring software quality for multi-language applications. It currently supports Java out-of-the-box, and can also...

    Latest version of Squale - Software QUALity Enhancement is 7.1 and it was released on 2011-05-26.

    Tags: Free Computer Programming Tools, Free Software Testing Tools
  • Software Testing Automation Framework by IBM

    The Software Testing Automation Framework (STAF) is an open source EPL (Eclipse Public License) project that enables users to create cross-platform, distributed software test environments. It's...

    Tags: Free Software Testing Tools, Ibm Software
  • SonarQube

    SonarQube (formerly Sonar) is an open source platform for continuous inspection of code quality to perform automatic reviews with static analysis of code to detect bugs, code smells and security...

    Latest version of SonarQube is 6.5 and it was released on 2017-08-03.

    Tags: Static Program Analysis Tools, Free Software Testing Tools
  • dcti by Tony Morris

    Reductio is open source software written using the Java Programming Language from an idea that originated in a research paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell...

    Tags: Software Testing Tools, Free Software Programmed In Java, Free Software Testing Tools
  • QuickCheck by Koen Claessen, John Hughes

    QuickCheck is a combinator library originally written in Haskell, designed to assist in software testing by generating test cases for test suites. It is compatible with the GHC compiler and the Hugs...

    Latest version of QuickCheck is 2.6 and it was released on 2013-03-07.

    Tags: Software Testing Tools, Free Software Programmed In Haskell, Free Software Testing Tools
  • PerlTidy

    PerlTidy is a tool written in the Perl programming language to do static code analysis against code written in that same language. It uses either command-line switches or configuration files to...

    Latest version of PerlTidy is 20160302 and it was released on 2016-03-02.

    Tags: Articles Created Via The Article Wizard, Perl, Static Program Analysis Tools, Software Using The Gpl License, Free Software Testing Tools
  • PMD

    PMD is an open source static Java source code analyzer that reports on issue found within application code. PMD includes built-in rule sets and supports the ability to write custom rules. PMD does...

    Latest version of PMD is 5.8.1 and it was released on 2017-07-01.

    Tags: Java Development Tools, Static Program Analysis Tools, Free Software Testing Tools
  • OpenJava by Michiaki Tatsubori, Teruo Koyanagi, Shigeru Chiba

    OpenJava is a programming tool that parses and analyzes Java source code. It uses a metaobject protocol (MOP) to provide services for language extensions. Michiaki Tatsubori was the lead developer...

    Latest version of OpenJava is 1.1 20050405 and it was released on 2005-04-05.

    Tags: Free Software Testing Tools, Software Using The Bsd License
  • Laika by MITRE

    Laika is an open source Electronic Health Record (EHR) testing framework which analyzes and reports on the interchangeability of EHR systems. This includes the testing for certification of EHR...

    Tags: Free Healthcare Software, Free Software Testing Tools, Standards For Electronic Health Records, Mitre Corporation
  • MIN Test Framework

    MIN Test Framework is advanced open source framework for test case implementation and execution under...

    Tags: Free Software Testing Tools
  • FindBugs by Bill Pugh and David Hovemeyer

    FindBugs is an open source static code analyser created by Bill Pugh and David Hovemeyer which detects possible bugs in Java programs. Potential errors are classified in four ranks: (i) scariest,...

    Latest version of FindBugs is {{#property:P348}} and it was released on 2015-03-06.

    Tags: Static Program Analysis Tools, Java Development Tools, Free Software Testing Tools
  • ConQAT by , Competence Center Software Maintenance (Technical University of Munich)

    The Continuous Quality Assessment Toolkit (ConQAT) is a configurable software quality analysis engine. ConQAT is based on a pipes and filters architecture that enables flexible complex analysis...

    Tags: Static Program Analysis Tools, Free Software Testing Tools
  • Checkstyle

    Checkstyle is a static code analysis tool used in software development for checking if Java source code complies with coding...

    Latest version of Checkstyle is 7.5.1 and it was released on 2017-02-04.

    Tags: Static Program Analysis Tools, Java Libraries, Java Development Tools, Software Using The Lgpl License, Free Software Testing Tools
  • Mirth Connect

    Mirth Connect is a cross-platform HL7 interface engine that enables bi-directional sending of HL7 messages between systems and applications over multiple transports available under the Mozilla...

    Tags: Free Healthcare Software, Free Software Testing Tools, Healthstandards, Healthcare Software
  • Valgrind

    Valgrind is a programming tool for memory debugging, memory leak detection, and profiling. Valgrind was originally designed to be a free memory debugging tool for Linux on x86, but has since...

    Tags: Debuggers, Free Memory Debuggers, Free Memory Management Software, Free Software Testing Tools, Profilers, Software Testing Tools
  • Splint

    Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version...

    Latest version of Splint is 3.1.2 and it was released on 2007-07-12.

    Tags: Static Program Analysis Tools, Free Memory Management Software, Crossplatform Software, Free Software Testing Tools, Software Using The Gpl License