28 citations · 38 across the 6 of their papers we have counts for
5 papers · 1 filter
Towards a Taxonomy of Sustainability Requirements for Software Design
Mandira Roy, Novarun Deb, Nabendu Chaki +1
Software systems are a significant contributor to global sustainability concerns, demanding that environmental, social, technical, and economic factors be systematically addressed…
SEER: Sustainability Enhanced Engineering of Software Requirements
Mandira Roy, Novarun Deb, Nabendu Chaki +1
The rapid expansion of software development has significant environmental, technical, social, and economic impacts. Achieving the United Nations Sustainable Development Goals by 20…
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti +3
Large Language Models (LLMs) are one of the most promising developments in the field of artificial intelligence, and the software engineering community has readily noticed their po…
An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews"
Souvick Das, Novarun Deb, Agostino Cortesi +1
This paper presents a novel framework that utilizes Natural Language Processing (NLP) techniques to understand user feedback on mobile applications. The framework allows software c…
Twinning automata and regular expressions for string static analysis
Luca Negrini, Vincenzo Arceri, Pietro Ferrara +1
In this paper we formalize and prove the soundness of Tarsis, a new abstract domain based on the abstract interpretation theory that approximates string values through finite state…