Papers - KATAYAMA Tetsuro
-
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA Reviewed
Y. Kikkawa, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 384 - 387 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs Reviewed
S. Kitano, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 380 - 383 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows Reviewed
H. Nakamura, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 376 - 379 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
Code Coverage Visualization on Web-Based Testing Tool for Java Programs Reviewed
M. Chandra Saputra and T. Katayama
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 372 - 375 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
Prototype of a Supporting Tool to Generate Testing Communication Diagram Reviewed
T. Katayama, S. Urata, Y. Ogata, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 368 - 371 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
Evaluation of Neighbors Based Routing for ad hoc networks Reviewed
K. Aburada, H. Yamaba, S. Kubota, T. Katayama, M. Park, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 335 - 339 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
An Authentication Method for Mobile Devices that is Independent of Tap-Operation on a Touchscreen Reviewed
H. Yamaba, S. Nagatomo, K. Aburada, S. Kubota, T. Katayama, M. Park, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 327 - 330 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
Countermeasure against fingerprinting attack in Tor by separated contents retrieval
Okazaki Naonobu, Toyoda Kentaroh, Yokoyama Emiri, So Hirofumi, Katayama Tetsuro, Park Mirang
IEICE Communications Express 4 ( 12 ) 370 - 375 2015
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
Tor (The Onion Router) realizes that anonymous web surfing without revealing the user's identity. However, A. Panachenko et al. reveals that an onion router that directly communicates with a user can infer which website a user accesses by leveraging site-specific traffic features, e.g., volume and time, and this attack is called the fingerprinting attack. In this paper, we propose a countermeasure against the fingerprinting attack by obfuscating site-specific traffic features. The idea is to establish two distinct Tor connections and to separately request text-based contents and image-based one through them. We show the effectiveness of our scheme with experiments.
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net Reviewed
T. Katayama, S. Kitano, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 3 ) 207 - 211 2014.12
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification Reviewed
T. Katayama, K. Nishikawa, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 3 ) 174 - 178 2014.12
Language：English Publishing type：Research paper (scientific journal)
-
形式仕様を用いたデシジョンテーブル生成手法の提案 Reviewed
西川拳太, 片山徹郎, 喜多義弘, 山場久昭, 岡崎直宣
情報処理学会 ソフトウェアエンジニアリングシンポジウム2014(SES2014) 39 - 44 2014.9
Language：Japanese Publishing type：Research paper (scientific journal)
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems Reviewed
T. Katayama, Z. Zhao, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 2 ) 120 - 124 2014.9
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs Reviewed
T. Katayama, H. Nakamura, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 2 ) 111 - 115 2014.9
Language：English Publishing type：Research paper (scientific journal)
-
Javaプログラム実行時のデータ遷移可視化によるデバッグ支援 Reviewed
中村紘人, 片山徹郎, 喜多義弘, 山場久昭, 岡崎直宣
情報処理学会 ソフトウェアエンジニアリングシンポジウム2014(SES2014) 125 - 130 2014.9
Language：Japanese Publishing type：Research paper (scientific journal)
-
Shoichiro Kitano, Tetsuro Katayama
IPSJ SIG Notes 2014 ( 23 ) 1 - 8 2014.7
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Information Processing Society of Japan (IPSJ)
In multi-threaded programs, it is difficult to reproduce the situation when existing bugs are discovered because execution of the multi-threaded programs is usually non-deterministic. Therefore, it is difficult to obtain the information for understanding the behavior of the program when bugs are discovered. And, to identify the cause of bags becomes difficult. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Conventional Petri-net cannot enough express the complicated behavior of the multi-threaded programs. Therefore, we extend Petri-net. We have confirmed the effectiveness of our method by implementing a prototype of a debugging supporting tool based on our method. In experiment for confirmation, to use our tool could identify the cause of the bug in about 33.6% of the time it takes without our tool. This result shows that our method and tool can improve efficiency in debugging for the multi-threaded programs.
-
形式手法を用いたテスト設計時におけるデシジョンテーブル生成支援手法の提案
西川拳太, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 257 - 262 2014.7
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
データ遷移の可視化手法によるバグの原因特定支援について
中村紘人, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 249 - 256 2014.7
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案
北野翔一郎, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 243 - 248 2014.7
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification Reviewed
K. Nishikawa, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 222 - 225 2014.1
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-Net Reviewed
S. Kitano, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 218 - 221 2014.1
Language：English Publishing type：Research paper (scientific journal)