Login / Signup

Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation.

Shaoying LiuToshinori HayashiKazuhiro TakahashiKoichiro KimuraToshihiro NakayamaShin Nakajima
Published in: SoMeT (2010)
Keyphrases
  • formal specification
  • genetic algorithm
  • test case generation
  • databases
  • real world
  • knowledge based systems
  • evolutionary search