2 papers
cs.SE2025
Toward Automated Test Generation for Dockerfiles Based on Analysis of Docker Image Layers
Yuki Goto, Shinsuke Matsumoto, Shinji Kusumoto
Docker has gained attention as a lightweight container-based virtualization platform. The process for building a Docker image is defined in a text file called a Dockerfile. A Docke…
math.NT2025
On factorizations of certain Kummer characters associated to once-punctured elliptic curves with complex multiplication
Shun Ishii, Yuki Goto
In this paper, we study certain Kummer characters, which we call the elliptic Soulé characters, arising from Galois actions on the pro- fundamental groups of once-punctured ell…