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 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


    PET - version 0.2