Essays about: "Java Pathfinder"
Found 5 essays containing the words Java Pathfinder.
-
1. Trace Visualization with Java Pathfinder using Theia Trace Viewer
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Java Pathfinder (JPF) is a tool to debug Java-based software running multiple threads or processes, with a textual output that be may hard to understand. Recent development introduced the possibility to generate a trace from JPF and visualize it in Trace Compass (TC), a general-purpose trace viewing application. READ MORE
-
2. Execution Trace Visualization for Java Pathfinder using Trace Compass
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Multi-threading is commonly applied in modern computer programs, bringing many conveniences but also causing concurrency issues. Among the various error debugging tools, Java Pathfinder (JPF) can detect latent errors of multithreaded Java programs through model checking. READ MORE
-
3. Executive Summaries in Software Model Checking
University essay from KTH/Teoretisk datalogi, TCSAbstract : Model checking is a technique used to verify whether a model meets a given specification by exhaustively and automatically checking each reachable state in the model. It is a well-developed technique, but it suffers from some issues, perhaps most importantly the state space explosion problem. READ MORE
-
4. Configuring Java Pathfinder for concurrent Java programs
University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)Abstract : Software verification is a field of computer science dedicated to guar- antee that a program runs according to a formalized specification. Of various kinds of verification techniques model checking tries all possi- ble states of a program and makes sure each state satisfies a set of for- malized properties. READ MORE
-
5. Theoretical Comparison of Partial Order Reduction: Java Pathfinder vs. Moonwalker
University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)Abstract : A problem in modern model checkers is the state explosion problem. Many methods exists to reduce the problem whereas partial order reduction is one of the most common methods. The partial order reduction is designed to reduce states that are not relevant for concurrency bugs by making transitions through non-relevant states. READ MORE