Security Evaluation System for Android Applications Using User's Reviews and Permissions

by Naonobu Okazaki, Yoshihiro Kita, Kentaro Aburada, Mirang Park
Published 2015-11-01

FMD-VS: A virtual sensor to index FMD virus scattering.

by Kayoko Takatsuka, Satoshi Sekiguchi, Hisaaki Yamaba, Kentaro Aburada, Masayuki Mukunoki, Naonobu Okazaki
Published 2020-01-01

Utilizing the Similarity Meaning of Label in Class Cohesion Calculation

by Bayu Priyambadha, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Nanoubu Okazaki
Published 2020-12-01

Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification

by Tetsuro Katayama, Yasuhiro Shigyo, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2020-09-01

Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification

by Tetsuro Katayama, Futa Hirakoba, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2019-12-01

Implementation of Tamias to Check Production Rules for Parsing Expression Grammar

by Tetsuro Katayama, Toshihiro Miyaji, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2019-09-01

Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs

by Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2015-02-01

Proposal and Its Evaluation of Neighbors Based Routing for ad hoc networks

by Kentaro Aburada, Hisaaki Yamaba, Shinichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Published 2015-08-01

Prototype of a Decision Table Generation Tool from the Formal Specification

by Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2015-11-01

RETUSS: Ensuring Traceability System between Class Diagram in UML and Java Source Code in Real Time

by Tetsuro Katayama, Keisuke Mori, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2018-09-01

Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit

by Tetsuro Katayama, Tatsumi Nishida, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2019-04-01

TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows

by Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2015-11-01

BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++

by Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2017-08-01

Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA

by Tetsuro Katayama, Yuuki Kikkawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2015-08-01

Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA

by Tetsuro Katayama, Yuuki Kikkawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2017-02-01

Measuring Test Suite Reusability Based on the Usage Frequency and Coverage of Reused Test Cases

by Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2021-05-01

Measuring Redundancy Score for Test Suite Evaluation by Using Test Cases Matching Approach

by Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2021-05-01

Prototype of a Supporting Tool to Generate Testing Communication Diagram

by Tetsuro Katayama, Seiya Urata, Yohei Ogata, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Published 2015-04-01

An Authentication Method Independent of Tap Operation on the Touchscreen of a Mobile Device

by Hisaaki Yamaba, So Nagatomo, Kentaro Aburada, Shinichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Published 2015-04-01

FMD-VS: A virtual sensor to index FMD virus scattering

by Kayoko Takatsuka, Satoshi Sekiguchi, Hisaaki Yamaba, Kentaro Aburada, Masayuki Mukunoki, Naonobu Okazaki, Alejandro Raul Hernandez Montoya
Published 2020-01-01