Login / Signup

Testing extended finite state machines using NSGA-III.

Ana Turlea
Published in: A-TEST@ESEC/SIGSOFT FSE (2019)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • mutation testing
  • data sets
  • digital circuits
  • hidden markov models
  • software engineering
  • regular expressions
  • test suite