280 citations · 436 across the 21 of their papers we have counts for
4 papers · 1 filter
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…