Tomoyuki Yokogawa

WiPiEC Journal, 2023

A Comparative Study of Hybrid Fault-Prone Module Prediction Models Using Association Rule and Random Forest.

[BibT_eX]

[DOI]

Proceedings of the 5th World Symposium on Software Engineering, 2023

Enhancing the Generalization Performance of Drowsiness Estimation AI in Drivers Using Time-Series Data from FAUs with Limited Datasets.

[BibT_eX]

[DOI]

Proceedings of the 15th International Congress on Advanced Applied Informatics Winter, 2023

Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

A Trend Analysis of Test Smells in Python Test Code Over Commit History.

[BibT_eX]

[DOI]

Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023

2022

Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking.

[BibT_eX]

[DOI]

Isamu Hasegawa

IEICE Trans. Inf. Syst., 2022

An Evaluation of Cross-Project Defect Prediction Approaches on Cross-Personalized Defect Prediction.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2022

Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users.

[BibT_eX]

[DOI]

Proceedings of the 12th International Congress on Advanced Applied Informatics, 2022

Have Java Production Methods Co-Evolved With Test Methods Properly?: A Fine-Grained Repository-Based Co-Evolution Analysis.

[BibT_eX]

[DOI]

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

An Evaluation of Effort-Aware Fine-Grained Just-in-Time Defect Prediction Methods.

[BibT_eX]

[DOI]

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

2021

A Large-Scale Investigation of Local Variable Names in Java Programs: Is Longer Name Better for Broader Scope Variable?

[BibT_eX]

[DOI]

Proceedings of the Quality of Information and Communications Technology, 2021

Searching for Bellwether Developers for Cross-Personalized Defect Prediction.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2021

An Investigation of Compound Variable Names Toward Automated Detection of Confusing Variable Pairs.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

A Preliminary Evaluation of CPDP Approaches on Just-in-Time Software Defect Prediction.

[BibT_eX]

[DOI]

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

2020

Empirical study of abnormality in local variables and its application to fault-prone Java method analysis.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2020

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2020

An exploratory study on applicability of cross project defect prediction approaches to cross-company effort estimation.

[BibT_eX]

[DOI]

Proceedings of the PROMISE '20: 16th International Conference on Predictive Models and Data Analytics in Software Engineering, 2020

A Edge Master Computing for Pineapple Monitoring System with Drone and Data-management.

[BibT_eX]

[DOI]

Proceedings of the 9th International Congress on Advanced Applied Informatics, 2020

Model Checking of Visual Scripts Created by UE4 Blueprints.

[BibT_eX]

[DOI]

Proceedings of the 9th International Congress on Advanced Applied Informatics, 2020

A Node-Style Visual Programming Environment for the nuXmv Model Checker.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

On the Effects of File-level Information on Method-level Bug Localization.

[BibT_eX]

[DOI]

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

A Comparative Study of Vectorization-Based Static Test Case Prioritization Methods.

[BibT_eX]

[DOI]

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

A Mahalanobis Distance-Based Integration of Suspicious Scores For Bug Localization.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Applying Cross Project Defect Prediction Approaches to Cross-Company Effort Estimation.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Conference on Predictive Models and Data Analytics in Software Engineering, 2019

Consistency Verification of UML Sequence Diagrams Modeling Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019

A Compact Low Power AI Module Mounted on Drone for Plant Monitor System.

[BibT_eX]

[DOI]

Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019

Automatic Verification for Node-Based Visual Script Notation Using Model Checking.

[BibT_eX]

[DOI]

Isamu Hasegawa

Proceedings of the Formal Methods and Software Engineering, 2019

A Comparative Study of Vectorization Methods on BugLocator.

[BibT_eX]

[DOI]

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019

Towards Better Effort Estimation with Cross-Project Defect Prediction Approaches.

[BibT_eX]

[DOI]

Proceedings of the Evaluation and Assessment on Software Engineering, 2019

A Survival Analysis-Based Prioritization of Code Checker Warning: A Case Study Using PMD.

[BibT_eX]

[DOI]

Proceedings of the Big Data, 2019

Empirical Study of Fault Introduction Focusing on the Similarity among Local Variable Names.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Quantitative Approaches to Software Quality co-located with 26th Asia-Pacific Software Engineering Conference (APSEC 2019), 2019

2018

An Entropy-Based Metric of Developer Contribution in Open Source Development and Its Application toF ault-ProneP rogram Analysis.

[BibT_eX]

[DOI]

Int. J. Networked Distributed Comput., 2018

Interpolation Based Unbounded Model Checking for Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

Fault-Prone Java Method Analysis Focusing on Pair of Local Variables with Confusing Names.

[BibT_eX]

[DOI]

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

Fault-Prone Source File Analysis Focusing on the Contribution Entropy in Open Source Development.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Big Data, 2018

A Doc2Vec-Based Assessment of Comments and Its Application to Change-Prone Method Analysis.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

Visual Programming Language for Model Checkers Based on Google Blockly.

[BibT_eX]

[DOI]

Seiji Yamashita

Masateru Tsunoda

Proceedings of the Product-Focused Software Process Improvement, 2017

Tool Support for Consistency Verification of UML Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2017

A Survival Analysis of Source Files Modified by New Developers.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2017

A Health Index of Open Source Projects Focusing on Pareto Distribution of Developer's Contribution.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Empirical Software Engineering in Practice, 2017

Empirical Study of Abnormalities in Local Variables of Change-Prone Java Methods.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

A smart low power R-R-I heartbeat monitor system with contactless UWB sensor.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2017

An Application of the PageRank Algorithm to Commit Evaluation on Git Repository.

[BibT_eX]

[DOI]

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Empirical Analysis of Words in Comments Written for Java Methods.

[BibT_eX]

[DOI]

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

An Empirical Study on Relationships between Comments and Design Properties.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Applied Computing and Information Technology, 2017

2016

3D<sup>2</sup> processing architecture - High reliability and low power computing for novel nano tactile sensor array.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2016

A Serial Booth Multiplier Using Ring Oscillator.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Computing and Networking, 2016

Local Variables with Compound Names and Comments as Signs of Fault-Prone Java Methods.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2016) and 1st International Workshop on Technical Debt Analytics (TDA 2016) co-located with the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), 2016

2015

Bounded model checking of Time Petri Nets using SAT solver.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2015

Improving Cross-Project Defect Prediction Methods with Data Simplification.

[BibT_eX]

[DOI]

Kazuya Kawata

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Improving Relevancy Filter Methods for Cross-Project Defect Prediction.

[BibT_eX]

[DOI]

Kazuya Kawata

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2013

Consistency Verification of UML Diagrams Based on Process Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

The Effects of Variable Selection Methods on Linear Regression-Based Effort Estimation Models.

[BibT_eX]

[DOI]

Proceedings of the 2013 Joint Conference of the 23rd International Workshop on Software Measurement and the 8th International Conference on Software Process and Product Measurement, 2013

2012

Synthesis and Refinement Check of Sequence Diagrams.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

A Study on Predictive Performance of Regression-Based Effort Estimation Models Using Base Functional Components.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2012

2011

Performance Evaluation of Windowing Approach on Effort Estimation by Analogy.

[BibT_eX]

[DOI]

Yohei Takahara

Proceedings of the 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, 2011

2002

Verifying Fault Tolerance of Concurrent Systems by Model Checking.

[BibT_eX]

[DOI]