PET
: Partial Evaluation-based Test Case Generator for Bytecode
|
Home
|
Web interface
|
CLP Heap Solver
|
Download
|
About
|
Use "Select" to choose an example from the list. Also for every example, "Show java" displays its source code and "Show bytecode" shows its bytecode.
List of examples in PET
Directory
heap
Select
Aliasing.class
show Bytecode
||
show Java
Select
ArraySearch.class
show Bytecode
||
show Java
Select
Josephus.class
show Bytecode
||
show Java
Select
Queue.class
show Bytecode
||
show Java
Select
Rational.class
show Bytecode
||
show Java
Select
SearchTreeInt.class
show Bytecode
||
show Java
Select
SortedList.class
show Bytecode
||
show Java
Select
SortedListInt.class
show Bytecode
||
show Java
Select
Sorting.class
show Bytecode
||
show Java
Select
StackInt.class
show Bytecode
||
show Java
|
Home
|
Web interface
|
CLP Heap Solver
|
Download
|
About
|