Papers - KATAYAMA Tetsuro
-
Heuristic test case generation technique using extended place/transition nets Reviewed
Takagi T., Akagi A., Katayama T.
Studies in Computational Intelligence 727 103 - 115 2018
Language：English Publishing type：Research paper (scientific journal) Publisher：Studies in Computational Intelligence
© Springer International Publishing AG 2018. This paper shows a novel heuristic test case generation technique using an extended PN (place/transition net). A guard and action are introduced to improve the representation power of a PN. Also, a weight that represents the degree of testing priority is given to each transition of a PN. Our algorithm that heuristically searches the extended PN generates a specified number of feasible test cases that focus on parts of higher testing priority.
-
Evaluation of Index Poisoning Method in Large Scale Winny Network
Aburada Kentaro, Kita Yoshihiro, Yamaba Hisaaki, Katayama Tetsuro, Park Mirang, Okazaki Naonobu
ADVANCES IN INTERNET, DATA & WEB TECHNOLOGIES 17 999 - 1006 2018
Language：Japanese Publishing type：Research paper (scientific journal)
-
Development of a Monitoring System Based on Power Consumption Reviewed
Aburada Kentaro, Todaka Kengo, Yamaba Hisaaki, Katayama Tetsuro, Park Mirang, Shiratori Norio, Okazaki Naonobu
ADVANCES IN NETWORK-BASED INFORMATION SYSTEMS, NBIS-2017 7 363 - 372 2018
Language：English Publishing type：Research paper (international conference proceedings)
-
Automated Generation of Decision Table and Boundary Values from VDM++ Specification Reviewed
H. Tachiyama, T. Katayama, and T. Oda
the 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering 95 - 103 2017.10
Language：English Publishing type：Research paper (international conference proceedings)
-
BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++ Reviewed
Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networking and Artificial Life 4 ( 2 ) 110 - 113 2017.9
Language：English Publishing type：Research paper (scientific journal)
-
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example Reviewed
T. Takagi, S. Morimoto, and T. Katayama
Journal of Robotics, Networking and Artificial Life (JRNAL) 4 ( 2 ) 168 - 174 2017.9
Language：English Publishing type：Research paper (scientific journal)
-
VDM++仕様を用いたテストケース自動生成ツールBWDMにおけるif-then-else式の構造認識手法の提案 Reviewed
立山博基, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2017(SES2017) 130 - 137 2017.8
Language：Japanese Publishing type：Research paper (conference, symposium, etc.)
-
VDM++仕様を用いたデシジョンテーブル自動生成ツール VDTableにおける複合条件式への対応 Reviewed
黄一諾, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2017(SES2017) 175 - 181 2017.8
Language：Japanese Publishing type：Research paper (conference, symposium, etc.)
-
テストケース自動生成ツールBWDMの現状と課題
立山博基, 片山徹郎
宮崎大学工学部紀要 ( 46 ) 269 - 273 2017.7
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
Early Detection of Lung Cancer by Artificial Neural Network and Fuzzy Inference System
Khaing Zin Htwe, K. Yamamori, T. Katayama, and Tin Mar Kyi
宮崎大学工学部紀要 ( 46 ) 321 - 326 2017.7
Language：English Publishing type：Research paper (bulletin of university, research institution)
-
Improving Software Development in Business Operation Effectively Approached by CMMI
Hnin Thandar Tun, T. Katayama, K. Yamamori, and Khine Khine Oo
宮崎大学工学部紀要 ( 46 ) 285 - 289 2017.7
Language：English Publishing type：Research paper (bulletin of university, research institution)
-
例外処理を含むJavaプログラムへの適用を目的としたデータ遷移可視化ツールTFVISの拡張
佐藤拓弥, 片山徹郎
宮崎大学工学部紀要 ( 46 ) 279 - 283 2017.7
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
変数名に着目したリファクタリング支援ツールMCCの現状と課題
田上諭, 片山徹郎
宮崎大学工学部紀要 ( 46 ) 275 - 278 2017.7
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
VDM++仕様を対象にしたテストケース自動生成ツールBWDMにおける if式の構造認識に基づいたテストケース生成手法の提案 Reviewed
立山博基, 片山徹郎
ソフトウェア・シンポジウム2017 (SS2017) 13 - 21 2017.6
Language：Japanese Publishing type：Research paper (conference, symposium, etc.)
-
ソースコードに存在する不適切なコメントの検出手法適用事例 Reviewed
甲斐秀一, 田上諭, 片山徹郎
ソフトウェア・シンポジウム2017 (SS2017) 65 - 65 2017.6
Language：Japanese Publishing type：Research paper (conference, symposium, etc.)
-
ソースコードの品質向上を目的とした特定のコメントを検出するツール Reviewed
田上諭, 甲斐秀一, 片山徹郎
ソフトウェア・シンポジウム2017 (SS2017) 56 - 64 2017.6
Language：Japanese Publishing type：Research paper (conference, symposium, etc.)
-
例外処理を含むJavaプログラムを対象とした データ遷移可視化ツールTFVISの適用範囲の拡大 Reviewed
佐藤拓弥, 片山徹郎, 水久保直哉, 田中伸英
ソフトウェア・シンポジウム2017 (SS2017) 28 - 35 2017.6
Language：Japanese Publishing type：Research paper (conference, symposium, etc.)
-
Evaluation of feature values of surface electromyograms for user authentication on mobile devices
Yamaba H., Kurogi A., Kubota S., Katayama T., Park M., Okazaki N.
Artificial Life and Robotics 22 ( 1 ) 108 - 112 2017.3
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Artificial Life and Robotics
© 2016, ISAROB.At the present time, mobile devices, such as tablet-type PCs and smart phones, have widely penetrated into our daily lives. Therefore, an authentication method that prevents shoulder surfing is needed. We are investigating a new user authentication method for mobile devices that use surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are generated by the electrical activity of muscle fibers during contraction, are detected over the skin surface. Muscle movement can be differentiated by analyzing the s-EMG. In this paper, a method that uses a list of gestures as a password is proposed. And also, results of experiments are presented that was carried out to investigate the performance of the method extracting feature values from s-EMG signals (using the Fourier transform) adopted in this research. MyoTM, which is the candidate of s-EMG measurement device used in a prototype system for future substantiative experiments, was used in the experiment together with the s-EMG measuring device used in the previous research to investigate its performance.
-
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA Reviewed
T. Katayama, Y. Kikkawa, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 3 ( 4 ) 231 - 235 2017.3
Language：English Publishing type：Research paper (scientific journal)
-
Development of a Tool for Extended Place/transition Net-Based Mutation Testing Reviewed
T. Takagi, S. Morimoto, and T. Katayama
Proc. 2017 Int’l Conf. on Artifical Life and Robotics (ICAROB2017) 266 - 270 2017.1
Language：English Publishing type：Research paper (international conference proceedings)