Login / Signup

Validated Test Models for Software Product Lines: Featured Finite State Machines.

Vanderson H. FragalAdenilso SimãoMohammad Reza Mousavi
Published in: FACS (2016)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • software product line
  • databases
  • real world
  • test sequences