Thu 27 Jun 2024 11:15 - 11:45 at M104 - Specification Chair(s): Kurt Schneider

Thu 27 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

10:45 - 12:15
SpecificationResearch Papers / RE@Next! Papers at M104
Chair(s): Kurt Schneider Leibniz Universität Hannover, Software Engineering Group
10:45
30m
Paper
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
Research Papers
Tom Yaacov Ben-Gurion University of the Negev, Achiya Elyasaf Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev
Pre-print
11:15
30m
Paper
ReqCompletion: Domain-Enhanced Automatic Completion for Software RequirementsIEEE TCSE Distinguished Paper
Research Papers
Xiaoli Lian Beihang University, China, Jieping Ma Beihang University, Heyang Lv , Li Zhang Beihang University
11:45
30m
Paper
Using LLMs in Software Requirements Specifications: An Empirical Evaluation
RE@Next! Papers
Madhava Krishna , Bhagesh Gaur Indraprastha Institute of Information Technology, Delhi, Arsh Varma , Pankaj Jalote
Pre-print