@misc{indiciae10593e975c37,
  title = {Understanding Specification-Driven Code Generation with LLMs: An Empirical Study Design},
  author = {Giovanni Rosa and David Moreno-Lumbreras and Gregorio Robles and Jesús M. González-Barahona},
  year = {2026},
  url = {https://arxiv.org/abs/2601.03878},
  note = {Source identifier: 2601.03878}
}