| Publisher | Association for Computing Machinery | ||
|---|---|---|---|
| Format | 102.8KB PDF | Date added | 18 May 2008 |
| Topics | Java, Programming Languages, Software Engineering | ||
| Downloads | 12 | ||
Java PathFinder (JPF) is an explicit-state model checker for Java programs. JPF implements a backtrackable Java Virtual Machine (JVM) that provides non-deterministic choices and control over thread scheduling. JPF is itself implemented in Java and runs on top of a host JVM. JPF represents the JVM state of the program being checked and performs three main operations on this state representation: bytecode execution, state backtracking, and state comparison. This paper summarizes four extensions that have been developed to the JPF state representation and operations. One extension provides a new functionality to JPF, and three extensions improve performance of JPF in various scenarios.
Did you find this white paper useful?
1 out of 2 users found this white paper useful
Related white papers
HP and RIM Join Forces to Enable Holistic Enterprise BlackBerry Management
Following the announcement in May 2009 of plans to establish a strategic alliance with Research in Motion (RIM), HP has introduced the Operations Manager for BlackBerry Enterprise software. This new...
Five JavaScript Frameworks: A Point-by-Point Comparison
There are a multitude of JavaScript frameworks available today for programming rich client-side interactions in web applications. With many such different options, it is important to choose a framework that...
Increase Reliability with IBM WebSphere File Transfer Edition (FTE)
"Does your organization still use FTP software? Did you know these links require 3 to 4 times more time and effort to build and maintain versus SOA-based Application Integration projects?...
Outsourcing the data centre to a carrier neutral data centre operator in Europe
Should you outsource your data centre? You should if your organization has mission critical IT services, latency dependent Web services, business critical applications, or Internet centric services that need to...
Increase developer productivity using IBM RationalTM and WebSphereTM.
Even in a down economy, it's important to deliver services quickly. This Webcast presentation shows how by using solutions from Rational and WebSphere, development teams can leverage the latest Web...
Improved Scalability Boosts Agora's Ability to Deliver Web-Based Advertising
Agora SA wanted to improve the performance of the ad server supporting Gazeta.pl and address a sudden increase in the volume of ads in the system, stemming from Agora's launch...
Is the time right to move from RISC to Intel Architecture?
Previous business decisions to deploy your IT solutions on RISC based architectures was most likely the right decision at the time based on the business need, the solutions availability and...
