lab4
This is an old revision of the document!
JPF in its basic form is a state exploring Java virtual machine (JVM) which can systematically explore all potential executions of Java code. There are many different ways to explore the executions. For example, JPF can use different search strategies such as breadth-first search (BFS) and depth-first search (DFS). Consider a Java code that gives rise to the following state space diagram.
lab4.1453931202.txt.gz · Last modified: 2016/01/27 21:46 by franck