Kazuki Munakata

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 18

Top Topics

Semantically Meaningful

Software Reliability

Language Resources

Top Venues

ISSRE Workshops

Publications

Hiroshi Tanaka, Masaru Ide, Jun Yajima, Sachiko Onodera, Kazuki Munakata, Nobukazu Yoshioka
Taxonomy of Generative AI Applications for Risk Assessment. CAIN (2024)
Jati H. Husen, Hironori Washizaki, Hnin Thandar Tun, Nobukazu Yoshioka, Yoshiaki Fukazawa, Hironori Takeuchi, Hiroshi Tanaka, Kazuki Munakata
Extensible Modeling Framework for Reliable Machine Learning System Analysis. CAIN (2023)
Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata
Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. ICSE Companion (2023)
Hiroshi Tanaka, Masaru Ide, Kazuki Munakata, Hironori Washizaki, Nobukazu Yoshioka
Activity-based modeling strategy for reliable machine learning system analysis targeting GUI-based applications. DSA (2023)
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations. NFM (2023)
Zhijie Wang, Yuheng Huang, Lei Ma, Haruki Yokoyama, Susumu Tokumoto, Kazuki Munakata
An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty. CoRR (2022)
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. CoRR (2022)
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. APSEC (2022)
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. CoRR (2022)
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. SANER (2022)
Mehdi Bahrami, N. C. Shrikanth, Yuji Mizobuchi, Lei Liu, Masahiro Fukuyori, Wei-Peng Chen, Kazuki Munakata
AugmentedCode: Examining the Effects of Natural Language Resources in Code Retrieval Models. CoRR (2021)
Mehdi Bahrami, N. C. Shrikanth, Shade Ruangwan, Lei Liu, Yuji Mizobuchi, Masahiro Fukuyori, Wei-Peng Chen, Kazuki Munakata, Tim Menzies
PyTorrent: A Python Library Corpus for Large-scale Language Models. CoRR (2021)
Koji Yamamoto, Takao Nakagawa, Shogo Tokui, Kazuki Munakata
Call Sequence List Distiller for Practical Stateful API Testing. SEKE (2020)
Takao Nakagawa, Kazuki Munakata, Koji Yamamoto
Applying Modified Code Entity-Based Regression Test Selection for Manual End-to-End Testing of Commercial Web Applications. ISSRE Workshops (2019)
Masaki Hosono, Susumu Tokumoto, Supasit Monpratarnchai, Hironori Washizaki, Kiyoshi Honda, Hiromasa Nagumo, Hisanobu Sonoda, Yoshiaki Fukazawa, Kazuki Munakata, Takao Nakagawa, Yusuke Nemoto
Inappropriate Usage Examples in Web API Documentations. ICSME (2019)
Jieming Chi, Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, Kazuki Munakata, Sumie Morita, Tadahiro Uehara, Rieko Yamamoto
Defect Analysis and Prediction by Applying the Multistage Software Reliability Growth Model. IWESEP (2017)
Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Softw. 34 (5) (2017)
Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, Kazuki Munakata, Sumie Morita, Tadahiro Uehara, Rieko Yamamoto
Detection of unexpected situations by applying software reliability growth models to test phases. ISSRE Workshops (2015)
Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara
Model-based test case generation using symbolic execution. JAMAICA@ISSTA (2013)
Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba
Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. APSEC (2012)
Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara
Test Case Selection Based on Path Condtions of Symbolic Execution. APSEC (2012)
Shoichiro Fujiwara, Kazuki Munakata, Yoshiharu Maeda, Asako Katayama, Tadahiro Uehara
Test data generation for web application using a UML class diagram with OCL constraints. Innov. Syst. Softw. Eng. 7 (4) (2011)