| 2026 | ICST | Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking. | Futa Oda, Tatsuhiro Tsuchiya |
| 2026 | ICST | Generation of Constrained Combinatorial Tests for Multi-Label Classifiers. | Keigo Teruya, Tatsuhiro Tsuchiya, Andrea Bombarda, Angelo Gargantini |
| 2025 | ADMA | Boundary Value Test Input Generation Using a Large Language Model: Fault Detection and Coverage Analysis. | Xiujing Guo, Chen Li, Tatsuhiro Tsuchiya |
| 2025 | APSEC | RAG4Test: Retrieving GUI States for Multilingual Bug Report and Test Case Generation via LLMs. | Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya |
| 2025 | COMPSAC | A Time-constrained Verifiable Architecture-based Self-adaptive Software Programming Framework. | Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2025 | COMPSAC | Graph-Centric Approaches for Coverage Optimization in Software Requirement Testing. | Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya |
| 2025 | ENASE | Exhaustive Model Identification on Process Mining. | Takeharu Mitsuda, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi, Sinpei Ogata, Tatsuhiro Tsuchiya |
| 2025 | ICAART | Facility Layout Generation Using Hierarchical Reinforcement Learning. | Shunsuke Furuta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2025 | PRDC | Automated Vulnerability Repair of Obfuscated and Non-Obfuscated Smart Contracts Using Large Language Models. | Chihiro Kado, Tatsuhiro Tsuchiya |
| 2025 | QRS | Retrieval-Augmented Generation for Software Requirement-Based Test Case Generation. | Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya |
| 2024 | APSEC | Towards Log-based Execution Status Estimation Using Graph Neural Networks. | Shimon Sumita, Hiroyuki Nakagawa, Shinobu Saito, Tatsuhiro Tsuchiya |
| 2024 | COMPSAC | Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty. | Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2024 | COMPSAC | Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation. | Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2024 | ICAART | Harnessing LLM Conversations for Goal Model Generation from User Reviews. | Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2024 | ICST | Summary of Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing. | Hao Jin, Ce Shi, Tatsuhiro Tsuchiya |
| 2024 | ICST | Use of binary decision diagrams to handle constraints in combinatorial interaction testing. | Tatsuhiro Tsuchiya |
| 2024 | KES | Review-Based Bot Smell Classification in Robotic Process Automation. | Hiroyuki Nakagawa, Soshi Nitta, Tatsuhiro Tsuchiya |
| 2024 | PRDC | Selecting Nodes to Protect in Interdependent Networks Using Shapley Value Analysis. | Koki Matsui, Tatsuhiro Tsuchiya |
| 2024 | PRDC | Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages. | Aoi Ono, Tatsuhiro Tsuchiya |
| 2024 | PRDC | Sequential programming for distributed algorithm verification. | Tatsuhiro Tsuchiya |
| 2023 | APSEC | On Mutation Testing of Graph Database Queries in the Cypher Language. | Shingo Ariwaka, Tatsuhiro Tsuchiya |
| 2023 | DASC | Shapley Value-Based Node Assessment in Unreliable Complex Networks: Initial Research Progress. | Wenxi Cai, Tatsuhiro Tsuchiya |
| 2023 | ER | KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper). | Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2023 | ICAART | Automatic Facility Layout Design System Using Deep Reinforcement Learning. | Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2023 | ICECCS | Model Checking of Intersection Traffic Control Protocols. | Yuya Noguchi, Tatsuhiro Tsuchiya |
| 2023 | ICST | Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing. | Gang Qin, Junjun Zheng, Tatsuhiro Tsuchiya |
| 2023 | PRDC | Applying metamorphic testing to reliability calculating programs. | Taito Asaji, Tatsuhiro Tsuchiya |
| 2023 | PRDC | Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. | Naoki Nishiguchi, Tatsuhiro Tsuchiya |
| 2023 | SEKE | Expansion Mechanism for Runtime Verification of Self-adaptive Systems. | Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2022 | DASC | Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. | Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya |
| 2022 | FedCSIS | Towards Automatic Facility Layout Design Using Reinforcement Learning. | Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2022 | ICSA | Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption. | Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya |
| 2022 | PRIMA | Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection. | Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2021 | COMPSAC | Adaptation Space Reduction Using an Explainable Framework. | Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2021 | ECSA | Preemptive Anomaly Prediction in IoT Components (short paper). | Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2021 | SEKE | Graph queries for analyzing the coverage of requirements by test cases. | Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2020 | SAC | Constrained detecting arrays for fault localization in combinatorial testing. | Hao Jin, Ce Shi, Tatsuhiro Tsuchiya |
| 2020 | SEKE | An Automated Goal Labeling Method Based on User Reviews. | Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2020 | WETICE | A Two-Step Heuristic Algorithm for Generating Constrained Detecting Arrays for Combinatorial Interaction Testing. | Hao Jin, Tatsuhiro Tsuchiya |
| 2020 | REFSQ | Opinion Analysis and Organization of Mobile Application User Reviews. | Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2019 | PRDC | Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks. | Kenta Hanada, Tatsuhiro Tsuchiya, Yasumasa Fujisaki |
| 2019 | WCNC | Implementation and Evaluation of ISDSR in Emulation Environments. | Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya |
| 2019 | REFSQ | Goal Model Construction Based on User Review Classification. | Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2018 | COMPSAC | A Framework for Updating Functionalities Based on the MAPE Loop Mechanism. | Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya |
| 2018 | ICST | A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. | Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya |
| 2018 | PRDC | Deriving Fault Locating Test Cases from Constrained Covering Arrays. | Hao Jin, Tatsuhiro Tsuchiya |
| 2018 | PRDC | Applying Metamorphic Testing to e-Commerce Product Search Engines. | Shu Nagai, Tatsuhiro Tsuchiya |
| 2018 | SEKE | Improvement of User Review Classification Using Keyword Expansion (S). | Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2018 | SEKE | A Document-based Parameter Correlation Metric for Test Design (S). | Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya |
| 2017 | ICSE | A visualization of specification coverage based on document similarity. | Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya |
| 2017 | ICST | Finding Minimum Locating Arrays Using a SAT Solver. | Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2017 | ISSRE | Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry. | Hiroyuki Nakagawa, Toshinobu Hasegawa, Shori Matsui, Tatsuhiro Tsuchiya |
| 2017 | PRDC | Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps. | Shinya Nakano, Tatsuhiro Tsuchiya |
| 2017 | PRDC | Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms. | Teru Ohashi, Tatsuhiro Tsuchiya |
| 2016 | MODELS | Caching Strategies for Run-time Probabilistic Model Checking. | Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya |
| 2015 | ICSE | Towards Automatic Constraints Elicitation in Pair-Wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength. | Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2015 | SEKE | Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA. | Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2015 | SEFM | An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. | Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2014 | ISSRE | Applying Parameter Value Weighting to a Practical Application. | Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2014 | PRDC | Locating a Faulty Interaction in Pair-wise Testing. | Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2014 | SEKE | Applying Random Testing to Constrained Interaction Testing. | Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya |
| 2013 | APSEC | A Value Weighting Method for Pair-wise Testing. | Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya |
| 2013 | ISADS | Software reconstruction and module management for distributed processing of train control. | Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2012 | ICPADS | Maximizing Availability of Consistent Data in Unreliable Networks. | Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya |
| 2012 | PRDC | Safety Verification of Asynchronous Consensus Algorithms with Model Checking. | Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2012 | PRDC | A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. | Tatsuhiro Tsuchiya |
| 2012 | UIC | Achieving High Availability of Consistent Data in the Presence of Network Partitions. | Tatsuhiro Tsuchiya |
| 2011 | PRDC | Gossiping with Network Coding. | Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2010 | PRDC | On the Reliability of Cascaded TMR Systems. | Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2009 | APSEC | Towards Automated Verification of Distributed Consensus Protocols. | Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2009 | PRDC | Using the NuSMV Model Checker for Test Generation from Statecharts. | Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2008 | PRDC | Finding the Optimal Configuration of a Cascading TMR System. | Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2008 | PRDC | Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. | Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2008 | SNPD | Detecting Feature Interactions in Home Appliance Networks. | Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2007 | NCA | Constructing Overlay Networks with Low Link Costs and Short Paths. | Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2007 | PRDC | An Automatic Real-Time Analysis of the Time to Reach Consensus. | Tatsuhiro Tsuchiya, Andr Schiper |
| 2007 | SRDS | Model Checking of Consensus Algorit. | Tatsuhiro Tsuchiya, Andr Schiper |
| 2005 | APSEC | Describing and Verifying Integrated Services of Home Network Systems. | Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto |
| 2005 | ICPADS | Overlay Network Topologies for Gossip-Based Multicast. | Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | AINA | A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. | TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | ATVA | SAT-Based Verification of Safe Petri Nets. | Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | COMPSAC | Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. | Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | PRDC | On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. | Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2002 | PRDC | Detecting Feature Interactions in Telecommunication Services with a SAT Solver. | Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno |
| 2001 | DSN | Applicability of Non-Specification-Based Approaches to Logic Testing for Software. | Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2001 | PRDC | Automatic Verification of Fault Tolerance Using Model Checking. | Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno |
| 2000 | DSN | Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 1998 | SRDS | A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 1997 | COMPSAC | Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. | Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim |
| 1995 | RTCSA | A new fault-tolerant scheduling technique for real-time multiprocessor systems. | Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno |