Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE, SC |
2023-11-17 17:10 |
Miyagi |
Sento Kaikan |
[Poster Presentation]
Utilizing Large Language Models for Automating Test Scenario Design Komichi Takezawa, Takuma Hashimoto, Koichi Motohashi, Naoto Hoshikawa (Tsukuba Univ.) KBSE2023-40 SC2023-23 |
Software development is follows a sequence of planning, design, implementation, testing, and release.The evolution of au... [more] |
KBSE2023-40 SC2023-23 p.43 |
SeMI, RCS, RCC, NS, SR (Joint) |
2023-07-13 13:00 |
Osaka |
Osaka University Nakanoshima Center + Online (Primary: On-site, Secondary: Online) |
Improvements in Depression Detection by Applying a Topic Model on Japanese Tweets Rio Ishibashi, Mondher Bouazizi, Tomoaki Ohtsuki (Keio Univ.) SeMI2023-29 |
Depression is a prevalent mental health disorder that can have a significant impact on an individual's well-being. There... [more] |
SeMI2023-29 pp.34-39 |
VLD, DC, RECONF, ICD, IPSJ-SLDM (Joint) [detail] |
2021-12-02 14:20 |
Online |
Online |
Wafer-level Variation Modeling for Multi-site Testing of RF Circuits Riaz-ul-haque Mian (Shimane Univ.), Michihiro Shintani (NAIST) VLD2021-42 ICD2021-52 DC2021-48 RECONF2021-50 |
Wafer-level performance prediction has been attracting attention to reduce measurement costs without compromising test q... [more] |
VLD2021-42 ICD2021-52 DC2021-48 RECONF2021-50 pp.144-149 |
SWIM |
2021-11-27 16:40 |
Online |
Online |
Acceptability investigation of information systems driven by faculty and staff members working at childcare facility Keishiro Hirano, Atsuki Hosokawa, Toru Takahashi, Koji Yamada (Osaka Sangyo Univ.) SWIM2021-30 |
In this study, we propose a driving model of information system for faculty and staff members.
The proposed model is ba... [more] |
SWIM2021-30 pp.29-34 |
KBSE |
2021-03-05 14:05 |
Online |
Online |
Model-Based Testing Environment Equipped with a Network Simulator Kosuke Fukuda (Univ. of Tokyo), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Univ. of Tokyo) KBSE2020-36 |
The application of IoT devices is expanding. Model-based testing is one of the testing methods which fit well for IoT de... [more] |
KBSE2020-36 pp.13-18 |
EMD, R |
2021-02-12 15:00 |
Online |
Online |
[Invited Talk]
Reliability physics issues for electronic devices
-- Failure mechanisms that still need to be physically clarified -- Yasushi Kadota (RICOH Co.,Ltd.) R2020-37 EMD2020-28 |
Many kind of electronic devices, including semiconductor devices, have been using in various fields and applications in ... [more] |
R2020-37 EMD2020-28 pp.19-24 |
KBSE |
2020-01-25 15:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices Kotaro Tanabe (Tokyo Univ.), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Tokyo Univ.) KBSE2019-44 |
Modbat is a model-based test tool that performs modeling using an extended finite state automaton(EFSM). In this study, ... [more] |
KBSE2019-44 pp.37-42 |
VLD, DC, CPSY, RECONF, ICD, IE, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (Joint) [detail] |
2019-11-14 15:20 |
Ehime |
Ehime Prefecture Gender Equality Center |
A Generation Method of Easily Testable Functional k Time Expansion Model for a Transition Fault Model Using Controller Augmentation and Partial Scan Designs Yuta Ishiyama, Toshinori Hosokawa, Yuki Ikegaya (Nihon Univ.) VLD2019-43 DC2019-67 |
One of the challenges on VLSI testing is to reduce the area overhead and test application time of design-for-testability... [more] |
VLD2019-43 DC2019-67 pp.133-138 |
R |
2019-10-25 14:00 |
Nagasaki |
Fukue Culture Center |
Multiple Change-Point Modeling for Software Reliability Assessment Shinji Inoue (Kansai Univ.), Shigeru Yamada (Tottori Univ.) R2019-38 |
We discuss Markovian imperfect debugging modeling for software reliability assessment with multiple changes of testing e... [more] |
R2019-38 pp.1-6 |
KBSE |
2019-01-26 10:05 |
Tokyo |
NII |
Towards IoT software testing with model-based testing tool Modbat Kotaro Tanabe (Univ. Tokyo), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Univ. Tokyo) KBSE2018-44 |
Modbat is a tool for model-based testing, and it uses extended finite state machines for modeling.
In previous research... [more] |
KBSE2018-44 pp.9-14 |
SIP, EA, SP, MI (Joint) [detail] |
2018-03-20 09:00 |
Okinawa |
|
[Poster Presentation]
Development of NU Voice Conversion System 2018 Patrick Lumban Tobing, Yi-Chiao Wu, Tomoki Hayashi, Kazuhiro Kobayashi (Nagoya Univ.), Tomoki Toda (Nagoya Univ./JST PRESTO) EA2017-138 SIP2017-147 SP2017-121 |
This paper presents NU (Nagoya University) voice conversion (VC) system for the HUB task of Voice
Conversion Challenge ... [more] |
EA2017-138 SIP2017-147 SP2017-121 pp.203-208 |
R |
2017-05-26 12:30 |
Okayama |
Purity Makibi |
Markovian Modeling for Software Reliability Assessment with Change-Point Shinji Inoue (Kansai Univ.), Shigeru Yamada (Tottori Univ.) R2017-1 |
We discuss Markovian software reliability modeling with the effect of change-point and imperfect debugging environment f... [more] |
R2017-1 pp.1-6 |
EMCJ, IEE-EMC, IEE-MAG |
2017-05-19 13:20 |
Overseas |
Nanyang Technological University |
[Invited Talk]
2.5D Method of Modeling and Simulation for Signal/Power Integrity of High Speed Electronics En-Xiao Liu, Siping Gao, Hui Min Lee (A*STAR IHPC) EMCJ2017-19 |
Electromagnetic characteristics related to signal integrity (SI), power integrity (PI) and EMC has become an essential d... [more] |
EMCJ2017-19 p.67 |
R |
2016-07-29 13:30 |
Hokkaido |
Otaru Chamber of Commerce and Industry |
On Optimal Software Release Problems Based on a Hazard Rate Model with Effect of Change-Point Shinji Inoue, Shigeru Yamada (Tottori Univ.) R2016-13 |
We often observed the case that the hazard rate of software failure-occurrence time intervals notably change in actual t... [more] |
R2016-13 pp.1-6 |
R |
2016-05-28 15:40 |
Aichi |
WINC AICHI |
On Binomial-Type Software Reliability Modeling with Test Environment Factors Shinji Inoue, Shigeru Yamada (Tottori Univ.) R2016-7 |
Considering an actual software testing phase, we have no doubt that the software reliability growth process depends on t... [more] |
R2016-7 pp.39-44 |
ICD |
2016-04-14 13:50 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Lecture]
Reliability Projecting for ReRAM based on Stochastic Differential Equation Zhiqiang Wei (PSCS), Koji Eriguchi (Kyoto Univ.), Shunsaku Muraoka, Koji Katayama, Ryotaro Yasuhara, Kawai Ken, Yukio Hayakawa, Kazuhiko Shimakawa, Takumi Mikawa, Yoneda Shinichi (PSCS) ICD2016-7 |
An analytic formula based on stochastic differential equation is successfully developed to describe intrinsic ReRAM vari... [more] |
ICD2016-7 pp.33-37 |
SS, MSS |
2016-01-25 18:30 |
Ishikawa |
Shiinoki-Geihin-Kan |
A Study of a Practical Approach to Verifying Control Systems using Model-Checking and Testing Junya Matsubara, Rieko Takagi, Teruyuki Nakazawa (Denso Create), Tetsuya Tohdo, Hiroyuki Ihara, Yukinori Kawaai (Denso) MSS2015-52 SS2015-61 |
Due to the automotive control systems have become complex, it is necessary to ensure the dependability of the systems. I... [more] |
MSS2015-52 SS2015-61 pp.99-103 |
R |
2015-07-31 15:10 |
Aomori |
|
On Software Quality Prediction Based on Generalized Linear Models Shinji Inoue, Shigeru Yamada (Tottori Univ.) R2015-18 |
Statistical analysis approaches are often discussed for statistical software quality prediction based on software proces... [more] |
R2015-18 pp.25-30 |
KBSE, SS, IPSJ-SE [detail] |
2015-07-22 16:10 |
Hokkaido |
|
Test Scenario Generation for Web Scenario Testing Using Design Document Xiaojing Zhang, Haruto Tanno (NTT) SS2015-17 KBSE2015-10 |
While automated test execution is popular among software development projects, the efficiency of test design is also nee... [more] |
SS2015-17 KBSE2015-10 pp.39-44 |
KBSE, SS, IPSJ-SE [detail] |
2015-07-23 16:50 |
Hokkaido |
|
Model Checking for UI Specification of RIA with Data Binding Takuya Iwatsuka, Tsuyoshi Oshima, Toshifumi Enomoto (NTT) SS2015-28 KBSE2015-21 |
RIAs realize a high degree of usability come from partial page rewriting by client-side scripting. Their dynamic nature ... [more] |
SS2015-28 KBSE2015-21 pp.137-142 |