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 |
DC |
2023-02-28 13:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg (Primary: On-site, Secondary: Online) |
A Clear and Understandable Notation for Expressing T-Way Test Sequence Generation Constraints Lele Jiang, Tatsuhiro Tsuchiya (Osaka Univ.) DC2022-85 |
This paper focuses on the problem of constraint representation for the generation of t-way test sequences.
T-way seque... [more] |
DC2022-85 pp.16-20 |
SS |
2022-03-07 11:20 |
Online |
Online |
Trace Ablation and Fault Localization per Method Using Machine Learning Models for Automatic Classification of Test Execution Results Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII) SS2021-44 |
The problem to solve automatically classifying the results of test executions is called the test oracle problem. This is... [more] |
SS2021-44 pp.13-18 |
SS, MSS |
2022-01-12 09:15 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Execution-trace embedding using word-proximity metric for a method to automatically classify test results Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII) MSS2021-46 SS2021-33 |
The problem to solve automatically classifying the results of test executions is called the test oracle problem. This is... [more] |
MSS2021-46 SS2021-33 pp.83-88 |
IN, NS, CS, NV (Joint) |
2021-09-09 12:40 |
Online |
Online |
Service Chaining Based on Capacitated Shortest Path Tour Problem
-- Solution Based on Lagrangian Relaxation and Shortest Path Tour Algorithm -- Takanori Hara, Masahiro Sasabe (NAIST) NS2021-60 |
Network functions virtualization (NFV) can speedily and flexibly deploy network services by replacing traditional networ... [more] |
NS2021-60 pp.18-23 |
BioX, ISEC, SITE, ICSS, EMM, HWS, IPSJ-CSEC, IPSJ-SPT [detail] |
2021-07-20 16:20 |
Online |
Online |
Implementation and Evaluation of a Ring Oscillator Type True Random Number Generator (2) Ryuichi Minagawa, KevinHideaki Omae, Kotarou Hayashi, Naoya Torii (Soka Univ.) ISEC2021-27 SITE2021-21 BioX2021-28 HWS2021-27 ICSS2021-32 EMM2021-32 |
A true random number generator (TRNG) is suitable for securing key generation and nonce generation on IoT devices. The r... [more] |
ISEC2021-27 SITE2021-21 BioX2021-28 HWS2021-27 ICSS2021-32 EMM2021-32 pp.104-109 |
WBS, IT, ISEC |
2021-03-05 14:45 |
Online |
Online |
Analysis of Optimal Error Exponents on Classification for Markov Sources Hiroto Kuramata, Hideki Yagi, Tsutomu Kawabata (UEC) IT2020-152 ISEC2020-82 WBS2020-71 |
We consider a classification problem for a test sequence to determine from which source the sequence generates. The syst... [more] |
IT2020-152 ISEC2020-82 WBS2020-71 pp.245-250 |
DC |
2021-02-05 15:30 |
Online |
Online |
A Don't Care Filling Method of Control Signals Based on Non-scan Field Testability at Register Transfer Level Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) DC2020-77 |
A field testing that monitors the values of circuit outputs and internal signal lines during function mode is used as on... [more] |
DC2020-77 pp.48-53 |
IT |
2020-12-02 10:30 |
Online |
Online |
Error Probability of Classification Based on the Analysis of the Bayes Code
-- Extension and Example -- Shota Saito, Toshiyasu Matsushima (Waseda Univ.) IT2020-32 |
Suppose that we have two training sequences generated by parametrized distributions $P_{theta^*}$ and $P_{xi^*}$, where ... [more] |
IT2020-32 pp.44-49 |
SITE, ISEC, HWS, EMM, BioX, IPSJ-CSEC, IPSJ-SPT, ICSS [detail] |
2020-07-21 10:00 |
Online |
Online |
Performance Evaluation of True Random Number Generator Using Latches Naoya Torii, Hideaki Kevin Omae (Soka Univ.) ISEC2020-24 SITE2020-21 BioX2020-27 HWS2020-17 ICSS2020-11 EMM2020-21 |
The use of a physical random number generator (TRNG) is suitable for secure key generation of IoT devices and secure non... [more] |
ISEC2020-24 SITE2020-21 BioX2020-27 HWS2020-17 ICSS2020-11 EMM2020-21 pp.69-74 |
COMP |
2019-12-13 17:00 |
Gunma |
Ikaho Seminar House, Gunma University |
COMP2019-42 |
Motivated by adjacency in perfect matching polytopes, we study the shortest reconfiguration problem of perfect matchings... [more] |
COMP2019-42 pp.93-100 |
VLD, DC, CPSY, RECONF, ICD, IE, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (Joint) [detail] |
2019-11-14 16:10 |
Ehime |
Ehime Prefecture Gender Equality Center |
Analysis of Fault Detection Degradation Issue in Multi-cycle Test Scheme using Probabilistic Evaluation Method Norihiro Nakaoka, Tomoki Aono, Sohshi Kudoh, Senling Wang, Yoshinobu Higami, Hiroshi Takahashi (Ehime Univ.), Hiroyuki Iwata, Yoichi Maeda, Jun Matsushima (Renesas) VLD2019-45 DC2019-69 |
In order to ensure the functional safety of advanced autonomous driving systems, a power-on self-test
(POST) is require... [more] |
VLD2019-45 DC2019-69 pp.145-150 |
CPSY, DC, IPSJ-ARC [detail] |
2019-07-25 13:25 |
Hokkaido |
Kitami Civic Hall |
Acceleration of Human Genome Phenotypic Analysis using Bit-Parallel Search and Multiprocessing Yuichiro Miyamoto, Masao Okita, Fumihiko Ino (Osaka Univ.) CPSY2019-25 DC2019-25 |
In this paper, we propose a combined method of a bit-parallel search in a base sequence and multiprocessing of t-tests f... [more] |
CPSY2019-25 DC2019-25 pp.117-122 |
DC |
2019-02-27 14:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Compaction Method for Test Sensitization State in Controllers Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ.) DC2018-80 |
One of the challenges on VLSI testing is to reduce the area overhead of design-for-testability and to increase the fault... [more] |
DC2018-80 pp.55-60 |
HWS, VLD |
2019-03-01 10:50 |
Okinawa |
Okinawa Ken Seinen Kaikan |
Reinforcing Generation of Instruction Sequences in Random Testing of Android Virtual Machine Ryotaro Shimizu, Nagisa Ishiura (Kwansei Gakuin Univ.) VLD2018-124 HWS2018-87 |
This article presents a method of reinforcing generation of instruction sequences in random testing of the Android virtu... [more] |
VLD2018-124 HWS2018-87 pp.187-192 |
IBISML |
2018-11-05 15:10 |
Hokkaido |
Hokkaido Citizens Activites Center (Kaderu 2.7) |
[Poster Presentation]
Statistical test for extracting discriminative patterns from trajectory data Takuto Sakuma (NITech), Ichiro Takeuchi (NITech/NIMS/RIKEN) IBISML2018-72 |
In this paper, we propose a statistical test method for extracting characteristic subsequences (patterns) from trajector... [more] |
IBISML2018-72 pp.213-220 |
IBISML |
2018-11-05 15:10 |
Hokkaido |
Hokkaido Citizens Activites Center (Kaderu 2.7) |
[Poster Presentation]
Selective Inference for Dynamic Programming-based Sequence Segmentation Hiroki Toda, Yuta Umezu, Takuto Sakuma (NIT), Ichiro Takeuchi (NIT/NIMS/RIKEN) IBISML2018-81 |
Recently, a large number of sensor devices have enabled us to collect various kind of sequence data easily. Sequence seg... [more] |
IBISML2018-81 pp.279-286 |
QIT (2nd) |
2018-06-04 13:20 |
Hiroshima |
ICCH Ran |
[Poster Presentation]
Certifying Quantum Randomness by Probability Estimation Yanbao Zhang (NTT-BRL), Emanuel Knill, Peter Bierhorst (NIST) |
We introduce probability estimation, a broadly applicable framework to certify
randomness in a finite sequence of mea... [more] |
|
IBISML |
2017-11-10 13:00 |
Tokyo |
Univ. of Tokyo |
[Poster Presentation]
Selective Inference for Change Point Detection in Multidimensional Sequence Yuta Umezu (Nitech), Ichiro Takeuchi (Nitech/RIKEN/NIMS) IBISML2017-71 |
In various fields such as engineering, bioinformatics and econometrics, detecting structural changes from a given sequen... [more] |
IBISML2017-71 pp.269-276 |
MSS, SS |
2017-01-26 16:20 |
Kyoto |
Kyoto Institute of Technology |
A system for autocompleting a partial Web GUI testing code with user interaction capturing Manabu Nakajima, Yoshiaki Takata (Kochi Univ. of Tech.) MSS2016-66 SS2016-45 |
Programmable testing and capture-replay testing are two main categories of Web GUI testing. In the programmable testing,... [more] |
MSS2016-66 SS2016-45 pp.53-57 |