Kazuki Munakata

According to our database, Kazuki Munakata authored at least 18 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Formal Repair and Verification of Industry-scale Deep Neural Networks.

Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 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

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

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

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2022

An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty.

Zhijie Wang, Yuheng Huang, Lei Ma, Haruki Yokoyama, Susumu Tokumoto, Kazuki Munakata

CoRR, 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

Proceedings of the IEEE International Conference on Software Analysis, 2022

Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.

Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

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

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

2020

Call Sequence List Distiller for Practical Stateful API Testing.

Koji Yamamoto, Takao Nakagawa, Shogo Tokui, Kazuki Munakata

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

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

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

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

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

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

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

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

2015

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

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

2013

Model-based test case generation using symbolic execution.

Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013

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

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Test Case Selection Based on Path Condtions of Symbolic Execution.

Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

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