Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, Zehan, Zhang, Long, Zhang, Zhiwei, Zhang, JingJing, Zhou, Ruoyu, Shen, Yulong, Ma, JianFeng, Yang, Lin
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2602.00715