Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2022-03-09 12:30 |
Online |
Online (Zoom) |
Extending Traverser for defining use cases from a conceptual model Takako Nakatani (OUJ), Kazuaki Sato (Nanohana Systems), Osamu Shigo (Tokyo Denki University) KBSE2021-41 |
Software systems have become indispensable to our daily lives.
Thus, we have to consider the importance of UX (User eXp... [more] |
KBSE2021-41 pp.1-6 |
SS, DC |
2021-10-19 13:55 |
Online |
Online |
Predict failure of test case generation Ryo Soga, Hideyuki Kanuka (Hitachi, Ltd.) SS2021-14 DC2021-19 |
The automation tools for improving productivity of software development are abandoned at times due to lower-than-expecte... [more] |
SS2021-14 DC2021-19 pp.7-12 |
NLC |
2021-02-18 16:30 |
Online |
Online |
A Case Exploration Tool for Sales Activities with Domain Viewpoints Mariko Sugawara, Sachiko Onodera (FUJITSU Lab.) NLC2020-28 |
In the recent sales activities of IT vendors supporting Customer DX, there are cases in which customers themselves do no... [more] |
NLC2020-28 pp.31-36 |
KBSE |
2018-03-01 14:50 |
Okinawa |
|
Automatic Test Code Generation for Extract Method Refactoring Ko Miyake, Tetsuo Kamina, Katsuhisa Maruyama (Ritsumeikan Univ) KBSE2017-48 |
Tests are indispensable to check whether an applied refactoring preserves the observable behavior of refactored code.
H... [more] |
KBSE2017-48 pp.55-60 |
IA |
2015-11-12 15:40 |
Chiba |
NARITA VIEW HOTEL |
Automatic Conformance and Interoperability Tests for Software-Defined Networking Yi-Lin Xie, Cheng-Mou Chiang (NTUST), Yi-Wei Ma (SMU), Yung-Chiao Chen (NTU), Jiann-Liang Chen (NTUST), Wen-Chien Hung (III) IA2015-51 |
As Google introduced the Software-Defined Networking (SDN) into Data Centers and successfully enhanced its network effic... [more] |
IA2015-51 pp.77-80 |
SS |
2014-03-11 13:00 |
Okinawa |
Tenbusu Naha |
Analyzing Requirememts Sentences for Checking Use Case Descriptions Ryotaro Nakamura, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.) SS2013-76 |
Since use case descriptions written in a natural language are informal, it is difficult to analyze them automatically. T... [more] |
SS2013-76 pp.25-30 |
SS, IPSJ-SE |
2013-10-25 13:50 |
Ishikawa |
|
Test Case Generation Based on Design Document: Can We Integrate the Technology into Traditional Development Process? Xiaojing Zhang, Haruto Tanno, Takashi Hoshino (NTT) SS2013-46 |
This paper introduce an improvement method to an existing model based test case extraction approach, our improved method... [more] |
SS2013-46 pp.167-172 |
KBSE |
2013-09-13 15:00 |
Tokyo |
The University of Electro-Communications |
A classification method in identifying security patterns for a dependable Security Case
-- From Security Patterns to D-Case -- Vaise Patu, Nada Olayan, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-52 |
Today's software systems are facing new and complicated challenges in confronting with security issues. There are lots o... [more] |
KBSE2013-52 pp.91-96 |
DC, CPSY (Joint) |
2013-08-01 17:30 |
Fukuoka |
Kitakyushu-Kokusai-Kaigijyo |
Assure-It: An Administration tool for Ensuring Runtime Synchronization of Assurance Cases Shunsuke Shida, Atsushi Uchida, Kimio Kuramitsu (Yokohama National Univ.) DC2013-19 |
In this study, we extend GSN, which is common notation of Assurance Cases, in order to use the idea of Runtime Synchroni... [more] |
DC2013-19 pp.15-19 |
KBSE |
2013-03-15 10:40 |
Tokyo |
Shibaura Institute of Technology |
Applying Techniques of Programming Languages to Assurance Case Tool Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-81 |
GSN (Goal Structuring Notation) is a graphical notation widely used to construct, which are required for the system assu... [more] |
KBSE2012-81 pp.73-78 |
SS |
2012-03-13 13:55 |
Okinawa |
Tenbusu-Naha |
Automatic derivation of test cases for Java using an SMT solver and a PDG generator. Yukihiro Sasaki, Kazuki Kobayashi, Kozo Okano, Shinji Kusumoto (Osaka Univ) SS2011-66 |
Assertions and Design by Contract play important roles for program understanding and program verification. In order to g... [more] |
SS2011-66 pp.55-60 |
OFT |
2012-01-20 09:00 |
Kagawa |
|
Simple Inspection Tool for Cleaved Optical Fiber Ends and Optical Fiber Connector End Surfaces Masaru Okada, Mitsuru Kihara, Makoto Hosoda, Masanobu Toyonaga (NTT-East) OFT2011-65 |
(To be available after the conference date) [more] |
OFT2011-65 pp.47-50 |
KBSE |
2011-11-11 11:00 |
Nagano |
Shinshu Univ. |
Document-based Test Case Generation using RDF Store Futoshi Iwama, Taiga Nakamura (IBMJ) KBSE2011-47 |
Automation tool has made less progress in software testing based on document such as requirement and design than unit te... [more] |
KBSE2011-47 pp.67-72 |
RECONF |
2011-09-27 09:00 |
Aichi |
Nagoya Univ. |
Case Studies on an FPGA with System-Level Multiprocessor Design Toolset Seiya Shibata, Yuki Ando, Shinya Honda (Nagoya Univ.), Hiroyuki Tomiyama (Ritsumeikan Univ.), Hiroaki Takada (Nagoya Univ.) RECONF2011-32 |
This paper presents a system-level multiprocessor design toolkit: SystemBuilder. SystemBuilder enables system designers... [more] |
RECONF2011-32 pp.57-62 |
SS |
2010-10-14 14:30 |
Iwate |
Iwate Prefectural Univ. |
QRAST: Quality Requirements Analysis Support Tool Its Implementation and Evaluation Shunichi Suzuki, Mahiro Umemura, Masaaki Tanigawa, Ryou Ogawa, Haruhiko Kaiya, Kenji Kaijiri (SU) SS2010-29 |
It is important for a requirements analyst eliciting implicit requirements to know characteristics of an application dom... [more] |
SS2010-29 pp.7-12 |
SS |
2010-10-15 09:45 |
Iwate |
Iwate Prefectural Univ. |
Automatic Test Case Generation for Integration Testing Haruto Tanno, Xiaojing Zhang, Takashi Hoshino (NTT) SS2010-34 |
Our research focuses on automatic test case generation for web applications, to test the
integration of three-layer, w... [more] |
SS2010-34 pp.37-42 |
ET |
2010-03-05 14:15 |
Kochi |
Kouchi Univ. |
A Generator of Web-Based Educational Environments Adapting to Lesson Designs Masatoshi Haruhara, Yasuhiko Morimoto (Gakugei Univ.), Shoichi Nakamura (Fukushima Univ.), Shinya Kouno (Gakugei University Senior High School), Setsuo Yokoyama (Gakugei Univ.Senior High School), Youzou Miyadera (Gakugei Univ.) ET2009-117 |
This research aims to develop a generator which generates a Web-based educational environment. Each Web-based educationa... [more] |
ET2009-117 pp.77-82 |
SS |
2009-08-06 11:30 |
Hokkaido |
Kitami Institute of Technology |
Formalization of AST Conversion for Applying CASE Tools to Other Programming Languages. Isamu Hasegawa (Nomura Research Institute, Ltd.), Katsuhiko Gondow (Tokyo Inst. of Tech.) SS2009-14 |
Development of parsers are increased according to the increase of the demand of CASE tools, in recent years. However, ev... [more] |
SS2009-14 pp.13-18 |
SS, KBSE |
2009-05-22 09:30 |
Akita |
Akita University |
A Design Model Based Methodology for Test Case Extraction and Test Data Generation Xiaojing Zhang, Takashi Hoshino (NTT) SS2009-7 KBSE2009-7 |
In terms of software quality assurance, it is necessary to improve the testing process, which ensure that software works... [more] |
SS2009-7 KBSE2009-7 pp.37-42 |
SS |
2008-08-01 09:30 |
Hokkaido |
Future University-Hakodate |
An AST Conversion Method for Applying CASE Tools to Other Programming Languages. Isamu Hasegawa (NRI) SS2008-22 |
The supply of CASE tools is not enough as compared with the demand rise. Our goal is solving the problem of the short su... [more] |
SS2008-22 pp.55-60 |