• A model-checker for timed automata.
  • A simulation/bisimulation checker for timed automata.
  • A parametric risk analyzer for linear-hybrid automata.
  • Based on CRD and HRD technology.
  • RED
  • DiagMiner

  • An GUI App Testing tool for Android platform.
  • It auto-diagnoses anomalies in the AUT (application under test), eg, crash scenarios.
  • The core is based on temporal mining techniques to help developers to understand the cause of anomalies .
  • DiagMiner
  • Comments