6 citations · 6 across the 1 of their papers we have counts for
3 papers
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé +7
Trustworthiness is a central requirement for the acceptance and success of human-centered artificial intelligence (AI). To deem an AI system as trustworthy, it is crucial to assess…
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Helge Spieker, Arnaud Gotlieb, Dusica Marijan +1
Testing in Continuous Integration (CI) involves test case prioritization, selection, and execution at each cycle. Selecting the most promising test cases to detect bugs is hard if…
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
Constraint Programming (CP) is a powerful declarative programming paradigm where inference and search are interleaved to find feasible and optimal solutions to various type of cons…