Login / Signup

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models.

Valdivino Alexandre de Santiago Jr.Nandamudi Lankalapalli VijaykumarDanielle GuimarãesAna Silvia Martins do AmaralErica Ferreira
Published in: ICST Workshops (2008)
Keyphrases
  • finite state machines
  • test case generation
  • test cases
  • behavioral models
  • software testing
  • real time
  • model checking
  • data exchange
  • genetic algorithm
  • test suite
  • static analysis
  • test data generation