Presentation | 2019-07-13 ソフトウェアテストのための制約付きディテクティングアレイの提案とSMTソルバを用いた生成 Hao Jin, Ce Shi, Tatsuhiro Tsuchiya, |
---|---|
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 # | SS2019-8,KBSE2019-18 |
Date of Issue | 2019-07-05 (SS, KBSE) |
Conference Information | |
Committee | KBSE / SS / IPSJ-SE |
---|---|
Conference Date | 2019/7/12(3days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) / 丸山 勝久(立命館大学) |
Vice Chair | Hiroyuki Nakagawa(Osaka Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
Secretary | Hiroyuki Nakagawa(Ibaraki Univ.) / Takashi Kobayashi(Tsurumi Univ.) / (Osaka Univ.) |
Assistant | Nahomi Kikuchi(OKi) / Tomoko Kaneko(NII) / Shinpei Hayashi(Tokyo Inst. of Tech.) / 石尾 隆(奈良先端科学技術大学院大学) / 位野木 万里(工学院大学) / 小川 秀人(日立製作所) / 丹野 治門(NTT) / 伏田 享平(NTTデータ) / 吉田 則裕(名古屋大学) / 鷲崎 弘宜(早稲田大学) |
Paper Information | |
Registration To | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
---|---|
Language | JPN-ONLY |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | |
Sub Title (in English) | |
Keyword(1) | |
1st Author's Name | Hao Jin |
1st Author's Affiliation | Osaka University(Osaka Univ.) |
2nd Author's Name | Ce Shi |
2nd Author's Affiliation | Shanghai Lixin University of Accounting and Finance(Shanghai Lixin Univ. of Accounting and Finance) |
3rd Author's Name | Tatsuhiro Tsuchiya |
3rd Author's Affiliation | Osaka University(Osaka Univ.) |
Date | 2019-07-13 |
Paper # | SS2019-8,KBSE2019-18 |
Volume (vol) | vol.119 |
Number (no) | SS-112,KBSE-113 |
Page | pp.pp.123-127(SS), pp.123-127(KBSE), |
#Pages | 5 |
Date of Issue | 2019-07-05 (SS, KBSE) |