Test data generation for web application using a UML class diagram with OCL constraints. - Shoichiro Fujiwara; Kazuki Munakata; Yoshiharu Maeda; Asako Katayama; Tadahiro Uehara (Innov. Syst. Softw. Eng., 2011)

Test Case Selection Based on Path Condtions of Symbolic Execution. - Kazuki Munakata; Shoichiro Fujiwara; Susumu Tokumoto; Tadahiro Uehara (APSEC, 2012)

Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. - Susumu Tokumoto; Tadahiro Uehara; Kazuki Munakata; Haruyuki Ishida; Toru Eguchi; Masafumi Baba (APSEC, 2012)

Model-based test case generation using symbolic execution. - Kazuki Munakata; Susumu Tokumoto; Tadahiro Uehara (JAMAICA@ISSTA, 2013)

Detection of unexpected situations by applying software reliability growth models to test phases. - Kiyoshi Honda; Hironori Washizaki; Yoshiaki Fukazawa; Kazuki Munakata; Sumie Morita; Tadahiro Uehara; Rieko Yamamoto (ISSRE Workshops, 2015)

Defect Analysis and Prediction by Applying the Multistage Software Reliability Growth Model. - Jieming Chi; Kiyoshi Honda; Hironori Washizaki; Yoshiaki Fukazawa; Kazuki Munakata; Sumie Morita; Tadahiro Uehara; Rieko Yamamoto (IWESEP, 2017)

KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. - Hiroaki Yoshida; Guodong Li; Takuki Kamiya; Indradeep Ghosh; Sreeranga P. Rajan; Susumu Tokumoto; Kazuki Munakata; Tadahiro Uehara (IEEE Softw., 2017)

Inappropriate Usage Examples in Web API Documentations. - Masaki Hosono; Susumu Tokumoto; Supasit Monpratarnchai; Hironori Washizaki; Kiyoshi Honda; Hiromasa Nagumo; Hisanobu Sonoda; Yoshiaki Fukazawa; Kazuki Munakata; Takao Nakagawa; Yusuke Nemoto (ICSME, 2019)

Applying Modified Code Entity-Based Regression Test Selection for Manual End-to-End Testing of Commercial Web Applications. - Takao Nakagawa; Kazuki Munakata; Koji Yamamoto 002 (ISSRE Workshops, 2019)

Call Sequence List Distiller for Practical Stateful API Testing. - Koji Yamamoto 002; Takao Nakagawa; Shogo Tokui; Kazuki Munakata (SEKE, 2020)

PyTorrent: A Python Library Corpus for Large-scale Language Models. - Mehdi Bahrami; N. C. Shrikanth; Shade Ruangwan; Lei Liu; Yuji Mizobuchi; Masahiro Fukuyori; Wei-Peng Chen; Kazuki Munakata; Tim Menzies (CoRR, 2021)

AugmentedCode: Examining the Effects of Natural Language Resources in Code Retrieval Models. - Mehdi Bahrami; N. C. Shrikanth; Yuji Mizobuchi; Lei Liu; Masahiro Fukuyori; Wei-Peng Chen; Kazuki Munakata (CoRR, 2021)

Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. - Satoshi Munakata; Caterina Urban; Haruki Yokoyama; Koji Yamamoto 002; Kazuki Munakata (APSEC, 2022)

NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. - Shogo Tokui; Susumu Tokumoto; Akihito Yoshii; Fuyuki Ishikawa; Takao Nakagawa; Kazuki Munakata; Shinji Kikuchi (SANER, 2022)

An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty. - Zhijie Wang 014; Yuheng Huang 004; Lei Ma 003; Haruki Yokoyama; Susumu Tokumoto; Kazuki Munakata (CoRR, 2022)

Extensible Modeling Framework for Reliable Machine Learning System Analysis. - Jati H. Husen; Hironori Washizaki; Hnin Thandar Tun; Nobukazu Yoshioka; Yoshiaki Fukazawa; Hironori Takeuchi; Hiroshi Tanaka; Kazuki Munakata (CAIN, 2023)

Activity-based modeling strategy for reliable machine learning system analysis targeting GUI-based applications. - Hiroshi Tanaka; Masaru Ide; Kazuki Munakata; Hironori Washizaki; Nobukazu Yoshioka (DSA, 2023)

Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. - Satoshi Munakata; Susumu Tokumoto; Koji Yamamoto 002; Kazuki Munakata (ICSE Companion, 2023)

Taxonomy of Generative AI Applications for Risk Assessment. - Hiroshi Tanaka; Masaru Ide; Jun Yajima; Sachiko Onodera; Kazuki Munakata; Nobukazu Yoshioka (CAIN, 2024)