Login / Signup
Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation.
Shaoying Liu
Toshinori Hayashi
Kazuhiro Takahashi
Koichiro Kimura
Toshihiro Nakayama
Shin Nakajima
Published in:
SoMeT (2010)
Keyphrases
</>
formal specification
genetic algorithm
test case generation
databases
real world
knowledge based systems
evolutionary search