Login / Signup
Yoshihiro Kita
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 23
Top Topics
Data Driven Markov Chain Monte Carlo
Pairwise
Test Cases
Class Diagram
Top Venues
J. Robotics Netw. Artif. Life
NBiS
EIDWT
AINA
</>
Publications
</>
Natsume Matsuzaki
,
Masayuki Fukumitsu
,
Yoshihiro Kita
Emergency Button: Evacuation of Crypto Asset When Key Loss.
CANDARW
(2023)
Mochamad Chandra Saputra
,
Tetsuro Katayama
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Measuring Redundancy Score for Test Suite Evaluation by Using Test Cases Matching Approach.
J. Robotics Netw. Artif. Life
8 (1) (2021)
Bayu Priyambadha
,
Tetsuro Katayama
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Nanoubu Okazaki
Utilizing the Similarity Meaning of Label in Class Cohesion Calculation.
J. Robotics Netw. Artif. Life
7 (4) (2021)
Mochamad Chandra Saputra
,
Tetsuro Katayama
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Measuring Test Suite Reusability Based on the Usage Frequency and Coverage of Reused Test Cases.
J. Robotics Netw. Artif. Life
8 (1) (2021)
Tetsuro Katayama
,
Yasuhiro Shigyo
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification.
J. Robotics Netw. Artif. Life
7 (3) (2020)
Tetsuro Katayama
,
Toshihiro Miyaji
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Implementation of Tamias to Check Production Rules for Parsing Expression Grammar.
J. Robotics Netw. Artif. Life
6 (2) (2019)
Tetsuro Katayama
,
Futa Hirakoba
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification.
J. Robotics Netw. Artif. Life
6 (3) (2019)
Tetsuro Katayama
,
Tatsumi Nishida
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit.
J. Robotics Netw. Artif. Life
5 (4) (2019)
Makoto Nagatomo
,
Yoshihiro Kita
,
Kentaro Aburada
,
Naonobu Okazaki
,
Mirang Park
Evaluation of Mouse Operation Authentication Method Having Shoulder Surfing Resistance.
EIDWT
(2018)
Kentaro Aburada
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Tetsuro Katayama
,
Mirang Park
,
Naonobu Okazaki
Evaluation of Index Poisoning Method in Large Scale Winny Network.
EIDWT
(2018)
Tetsuro Katayama
,
Keisuke Mori
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
RETUSS: Ensuring Traceability System between Class Diagram in UML and Java Source Code in Real Time.
J. Robotics Netw. Artif. Life
5 (2) (2018)
Tetsuro Katayama
,
Hiroki Tachiyama
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++.
J. Robotics Netw. Artif. Life
4 (2) (2017)
Tetsuro Katayama
,
Yuuki Kikkawa
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA.
J. Robotics Netw. Artif. Life
3 (4) (2017)
Takahiro Hori
,
Yoshihiro Kita
,
Kentaroh Toyoda
,
Naonobu Okazaki
,
Mirang Park
Empirical Evaluation of Rhythm-Based Authentication Method for Mobile Devices.
NBiS
(2017)
Yoshihiro Kita
,
Mirang Park
,
Naonobu Okazaki
Proposal of Rhythm Authentication Method Using Users Classification by Self-Organizing Map.
NBiS
(2015)
Tetsuro Katayama
,
Hiroto Nakamura
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows.
J. Robotics Netw. Artif. Life
2 (3) (2015)
Tetsuro Katayama
,
Kenta Nishikawa
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Prototype of a Decision Table Generation Tool from the Formal Specification.
J. Robotics Netw. Artif. Life
2 (3) (2015)
Tetsuro Katayama
,
Yuuki Kikkawa
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA.
J. Robotics Netw. Artif. Life
2 (2) (2015)
Masahiro Sakuma
,
Yoshihiro Kita
,
Kentaro Aburada
,
Mirang Park
,
Naonobu Okazaki
Study of Filter Sharing Method Using Virtual Peers in P2P Networks.
AINA
(2015)
Tetsuro Katayama
,
Seiya Urata
,
Yohei Ogata
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Prototype of a Supporting Tool to Generate Testing Communication Diagram.
J. Robotics Netw. Artif. Life
2 (1) (2015)
Naonobu Okazaki
,
Yoshihiro Kita
,
Kentaro Aburada
,
Mirang Park
Security Evaluation System for Android Applications Using User's Reviews and Permissions.
J. Robotics Netw. Artif. Life
2 (3) (2015)
Kentaro Aburada
,
Yoshihiro Kita
,
Mirang Park
,
Naonobu Okazaki
Content Access Control Scheme for P2P Networks Using a Reputation Value.
AINA
(2015)
Tetsuro Katayama
,
Shoichiro Kitano
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Kentaro Aburada
,
Naonobu Okazaki
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs.
J. Robotics Netw. Artif. Life
1 (4) (2015)
Tetsuro Katayama
,
Hiroto Nakamura
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Naonobu Okazaki
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs.
J. Robotics Netw. Artif. Life
1 (2) (2014)
Tetsuro Katayama
,
Kenta Nishikawa
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Naonobu Okazaki
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification.
J. Robotics Netw. Artif. Life
1 (3) (2014)
Mirang Park
,
Yoshihiro Kita
,
Kentaro Aburada
,
Naonobu Okazaki
Proposal of a Puzzle Authentication Method with Shoulder-surfing Attack Resistance.
NBiS
(2014)
Tetsuro Katayama
,
Shoichiro Kitano
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Naonobu Okazaki
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net.
J. Robotics Netw. Artif. Life
1 (3) (2014)
Tetsuro Katayama
,
Zhijia Zhao
,
Yoshihiro Kita
,
Hisaaki Yamaba
,
Naonobu Okazaki
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems.
J. Robotics Netw. Artif. Life
1 (2) (2014)
Yoshihiro Kita
,
Tetsuro Katayama
,
Shigeyuki Tomita
Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education.
SERA
(2007)
Yoshihiro Kita
,
Takanori Kawasoe
,
Tetsuro Katayama
Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers.
IASTED Conf. on Software Engineering
(2005)