Presentation 2016-10-27
Model Based Test Case Generation for Web Application Using Model Checking
Hirokazu Kasahara, Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English)
Keyword(in Japanese) (See Japanese page)
Keyword(in English)
Paper # SS2016-24,DC2016-26
Date of Issue 2016-10-20 (SS, DC)

Conference Information
Committee DC / SS
Conference Date 2016/10/27(2days)
Place (in Japanese) (See Japanese page)
Place (in English) Hikone Kinro-Fukushi Kaikan Bldg.
Topics (in Japanese) (See Japanese page)
Topics (in English) Software System and Dependability on Network, etc
Chair Michiko Inoue(NAIST) / Kazuhiro Ogata(JAIST)
Vice Chair Satoshi Fukumoto(Tokyo Metropolitan Univ.) / Akio Nakata(Hiroshima City Univ.)
Secretary Satoshi Fukumoto(Kyoto Sangyo Univ.) / Akio Nakata(Tokyo Inst. of Tech.)
Assistant / Kazuyuki Shima(Hiroshima City Univ.)

Paper Information
Registration To Technical Committee on Dependable Computing / Technical Committee on Software Science
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Model Based Test Case Generation for Web Application Using Model Checking
Sub Title (in English)
Keyword(1)
1st Author's Name Hirokazu Kasahara
1st Author's Affiliation Okayama Prefectural University(Okayama Pref. Univ.)
2nd Author's Name Tomoyuki Yokogawa
2nd Author's Affiliation Okayama Prefectural University(Okayama Pref. Univ.)
3rd Author's Name Yoichiro Sato
3rd Author's Affiliation Okayama Prefectural University(Okayama Pref. Univ.)
4th Author's Name Kazutami Arimoto
4th Author's Affiliation Okayama Prefectural University(Okayama Pref. Univ.)
Date 2016-10-27
Paper # SS2016-24,DC2016-26
Volume (vol) vol.116
Number (no) SS-277,DC-278
Page pp.pp.37-42(SS), pp.37-42(DC),
#Pages 6
Date of Issue 2016-10-20 (SS, DC)