Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation

Rim Zrelli, Henrique Amaral Misson, Mohamed Attia, Felipe Gohring de Magalhaes, Abdo Shabah et Gabriela Nicolescu

Article de revue (2026)

Un lien externe est disponible pour ce document

Département:	Département de génie informatique et génie logiciel
Organismes subventionnaires:	Mitacs
URL de PolyPublie:	https://publications.polymtl.ca/79922/
Titre de la revue:	Journal of Systems and Software (vol. 240)
Maison d'édition:	Elsevier BV
DOI:	10.1016/j.jss.2026.112941
URL officielle:	https://doi.org/10.1016/j.jss.2026.112941
Date du dépôt:	30 juil. 2026 13:52
Dernière modification:	30 juil. 2026 13:52

Citer en APA 7:	Zrelli, R., Amaral Misson, H., Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (2026). Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation. Journal of Systems and Software, 240, 112941 (15 pages). https://doi.org/10.1016/j.jss.2026.112941
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Actions réservées au personnel