Login / Signup

Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata.

Mohammad Saeed Abou TrabSteve CounsellRobert M. Hierons
Published in: COMPSAC (2012)
Keyphrases
  • timed automata
  • data sets
  • genetic algorithm
  • evolutionary algorithm
  • real time
  • neural network
  • search algorithm
  • expert systems
  • reachability analysis
  • data mining
  • low cost
  • petri net