PET: Partial Evaluation-based Test Case Generator for Bytecode

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 related
    
  • Select  DoublyLinkedList.class
  •   show Bytecode  ||  show Java
        
  • Select  EntryRBT.class
  •   show Bytecode  ||  show Java
        
  • Select  NodeDLL.class
  •   show Bytecode  ||  show Java
        
  • Select  NodeJosephus.class
  •   show Bytecode  ||  show Java
        
  • Select  RedBlackTree.class
  •   show Bytecode  ||  show Java
        
  • Select  Triangle.class
  •   show Bytecode  ||  show Java