Kazuki Munakata
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAIN | Taxonomy of Generative AI Applications for Risk Assessment. | Hiroshi Tanaka, Masaru Ide, Jun Yajima, Sachiko Onodera, Kazuki Munakata, Nobukazu Yoshioka |
| 2023 | CAIN | 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 |
| 2023 | ICSE | Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. | Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata |
| 2022 | APSEC | Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. | Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata |
| 2020 | SEKE | Call Sequence List Distiller for Practical Stateful API Testing. | Koji Yamamoto, Takao Nakagawa, Shogo Tokui, Kazuki Munakata |
| 2019 | ISSRE | Applying Modified Code Entity-Based Regression Test Selection for Manual End-to-End Testing of Commercial Web Applications. | Takao Nakagawa, Kazuki Munakata, Koji Yamamoto |
| 2015 | ISSRE | 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 |
| 2013 | ISSTA | Model-based test case generation using symbolic execution. | Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara |
| 2012 | APSEC | Test Case Selection Based on Path Condtions of Symbolic Execution. | Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara |
| 2012 | APSEC | Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. | Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba |