435 citations · 840 across the 65 of their papers we have counts for
40 papers · 1 filter
Autoresearch with Coding Agents: Generalizers and Metric-Maximizers on Quran Recitation Data
Nursultan Askarbekuly, Mohamad Al Mdfaa, Ahmed Helaly +2
Coding agents can now be left alone to improve software against a score. In this pattern--recently popularized as "autoresearch"--the agent receives a dataset, an evaluation script…
Machine Learning and value generation in Software Development: a survey
Barakat. J. Akinsanya, Luiz J. P. Araújo, Mariia Charikova +6
Machine Learning (ML) has become a ubiquitous tool for predicting and classifying data and has found application in several problem domains, including Software Development (SD). Th…
The role of formalism in system requirements (full version)
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier +3
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natur…
From DevOps to DevDataOps: Data Management in DevOps processes
Antonio Capizzi, Salvatore Distefano, Manuel Mazzara
DevOps is a quite effective approach for managing software development and operation, as confirmed by plenty of success stories in real applications and case studies. DevOps is now…
Anomaly Detection in DevOps Toolchain
Antonio Capizzi, Salvatore Distefano, Manuel Mazzara +3
The tools employed in the DevOps Toolchain generates a large quantity of data that is typically ignored or inspected only in particular occasions, at most. However, the analysis of…
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
Mansur Khazeev, Manuel Mazzara, Daniel De Carvalho +1
Formal methods yet advantageous, face challenges towards wide acceptance and adoption in software development practices. The major reason being presumed complexity. The issue can b…