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

Browse the full SoMeT paper archive.