Kazuki Munakata

22 papers A 2B 2C 4Journal 7Unranked 7

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