19 citations · 19 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025
Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases
Hidetake Tanaka, Haruto Tanaka, Kazumasa Shimari +1
As Large Language Models (LLMs) increasingly generate code in software development, ensuring the quality of LLM-generated code has become important. Traditional testing approaches…
cs.SE2025
Mining for Lags in Updating Critical Security Threats: A Case Study of Log4j Library
Hidetake Tanaka, Kazuma Yamasaki, Momoka Hirose +5
The Log4j-Core vulnerability, known as Log4Shell, exposed significant challenges to dependency management in software ecosystems. When a critical vulnerability is disclosed, it is…