280 citations · 436 across the 21 of their papers we have counts for
22 papers
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1
The future of automated driving (AD) is rooted in the development of robust, fair and explainable artificial intelligence methods. Upon request, automated vehicles must be able to…
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics
Arnaud Gotlieb, Morten Mossige, Helge Spieker
Automated test execution scheduling is crucial in modern software development environments, where components are frequently updated with changes that impact their integration with…
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
Ghiles Ziat, Vincent Botbol, Matthieu Dien +3
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However…
Software Testing for Machine Learning
Dusica Marijan, Arnaud Gotlieb
Machine learning has become prevalent across a wide variety of applications. Unfortunately, machine learning has also shown to be susceptible to deception, leading to errors, and e…
Industry-Academia Research Collaboration in Software Engineering: The Certus Model
Dusica Marijan, Arnaud Gotlieb
Context: Research collaborations between software engineering industry and academia can provide significant benefits to both sides, including improved innovation capacity for indus…
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Deep Learning (DL) has revolutionized the capabilities of vision-based systems (VBS) in critical applications such as autonomous driving, robotic surgery, critical infrastructure s…