All Stories

  1. Maximal and minimal dynamic Petri net slicing
  2. HybEx: A Hybrid Tool for Template Extraction
  3. Automatic Testing of Program Slicers
  4. A Survey of Algorithmic Debugging
  5. Behaviour Preservation across Code Versions in Erlang