21 citations · 39 across the 5 of their papers we have counts for
6 papers
On the Energy Consumption of Test Generation
Fitsum Kifetew, Davide Prandi, Angelo Susi
Research in the area of automated test generation has seen remarkable progress in recent years, resulting in several approaches and tools for effective and efficient generation of…
An Agent-based Approach to Automated Game Testing: an Experience Report
I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Kifetew +8
Computer games are very challenging to handle for traditional automated testing algorithms. In this paper we will look at intelligent agents as a solution. Agents are suitable for…
Collaborative Artificial Intelligence Needs Stronger Assurances Driven by Risks
Jubril Gbolahan Adigun, Matteo Camilli, Michael Felderer +5
Collaborative AI systems (CAISs) aim at working together with humans in a shared space to achieve a common goal. This critical setting yields hazardous circumstances that could har…
Towards Risk Modeling for Collaborative AI
Matteo Camilli, Michael Felderer, Andrea Giusti +4
Collaborative AI systems aim at working together with humans in a shared space to achieve a common goal. This setting imposes potentially hazardous circumstances due to contacts th…
Formalization and Validation of Safety-Critical Requirements
Alessandro Cimatti, Marco Roveri, Angelo Susi +1
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways…
Theory of Regulatory Compliance for Requirements Engineering
Ivan Jureta, Alberto Siena, John Mylopoulos +2
Regulatory compliance is increasingly being addressed in the practice of requirements engineering as a main stream concern. This paper points out a gap in the theoretical foundatio…