default search action
Kazuki Munakata
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c15]Hiroshi Tanaka
, Masaru Ide
Taxonomy of Generative AI Applications for Risk Assessment. CAIN 2024: 288-289 - 2023
- [c14]Jati H. Husen
Extensible Modeling Framework for Reliable Machine Learning System Analysis. CAIN 2023: 94-95 - [c13]Hiroshi Tanaka
Activity-based modeling strategy for reliable machine learning system analysis targeting GUI-based applications. DSA 2023: 135-143 - [c12]Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata:
Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. ICSE Companion 2023: 360-364 - [c11]Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata:
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations. NFM 2023: 37-61 - 2022
- [c10]Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata:
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. APSEC 2022: 560-561 - [c9]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: 1111-1121 - [i5]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 abs/2203.00191 (2022) - [i4]Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata:
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. CoRR abs/2207.05902 (2022) - [i3]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 abs/2212.06828 (2022) - 2021
- [i2]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 abs/2110.01710 (2021) - [i1]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 abs/2110.08512 (2021) - 2020
- [c8]Koji Yamamoto, Takao Nakagawa, Shogo Tokui, Kazuki Munakata:
Call Sequence List Distiller for Practical Stateful API Testing. SEKE 2020: 342-346
2010 – 2019
- 2019
- [c7]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: 343-347 - [c6]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: 1-6 - 2017
- [j2]Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Softw. 34(5): 30-37 (2017) - [c5]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: 7-11 - 2015
- [c4]Kiyoshi Honda, Hironori Washizaki
Detection of unexpected situations by applying software reliability growth models to test phases. ISSRE Workshops 2015: 2-5 - 2013
- [c3]Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara:
Model-based test case generation using symbolic execution. JAMAICA@ISSTA 2013: 23-28 - 2012
- [c2]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: 314-317 - [c1]Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara:
Test Case Selection Based on Path Condtions of Symbolic Execution. APSEC 2012: 318-321 - 2011
- [j1]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): 275-282 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: