External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents

Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents. In Daniel Méndez 0001, Ana Moreira 0001, editors, Requirements Engineering: Foundation for Software Quality - 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings. Volume 14588 of Lecture Notes in Computer Science, pages 205-216, Springer, 2024. [doi]

Authors

Rim Zrelli

This author has not been identified. Look up 'Rim Zrelli' in Google

Henrique Amaral Misson

This author has not been identified. Look up 'Henrique Amaral Misson' in Google

Maroua Ben Attia

This author has not been identified. Look up 'Maroua Ben Attia' in Google

Felipe Gohring de Magalhaes

This author has not been identified. Look up 'Felipe Gohring de Magalhaes' in Google

Abdo Shabah

This author has not been identified. Look up 'Abdo Shabah' in Google

Gabriela Nicolescu

This author has not been identified. Look up 'Gabriela Nicolescu' in Google
runs on