%0 Conference Paper %1 conf/somet/LiuHTKNN10 %A Liu, Shaoying %A Hayashi, Toshinori %A Takahashi, Kazuhiro %A Kimura, Koichiro %A Nakayama, Toshihiro %A Nakajima, Shin %B SoMeT %D 2010 %E Fujita, Hamido %I IOS Press %K dblp %P 383-397 %T Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. %U http://dblp.uni-trier.de/db/conf/somet/somet2010.html#LiuHTKNN10 %V 217 %@ 978-1-60750-628-7

@inproceedings{conf/somet/LiuHTKNN10, added-at = {2017-12-25T00:00:00.000+0100}, author = {Liu, Shaoying and Hayashi, Toshinori and Takahashi, Kazuhiro and Kimura, Koichiro and Nakayama, Toshihiro and Nakajima, Shin}, biburl = {https://www.bibsonomy.org/bibtex/25526362323fd0007aba341a389b0f216/dblp}, booktitle = {SoMeT}, crossref = {conf/somet/2010}, editor = {Fujita, Hamido}, ee = {https://doi.org/10.3233/978-1-60750-629-4-383}, interhash = {f63a2ba9dfb277e68a266e525926f85b}, intrahash = {5526362323fd0007aba341a389b0f216}, isbn = {978-1-60750-628-7}, keywords = {dblp}, pages = {383-397}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2017-12-29T12:08:04.000+0100}, title = {Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation.}, url = {http://dblp.uni-trier.de/db/conf/somet/somet2010.html#LiuHTKNN10}, volume = 217, year = 2010 }