Tools

  1. Advance: A new technique for automated assumption discovery and verification derivation from library documents. [More Info]
  2. TransRepair: An automated tool for context-aware program repair based on compilation errors. [More Info]