Arnaud Gotlieb

Identifiers

• name variant Arnaud Gotlieb 0.60 · backfill

Papers (7)

1. Metamorphic Testing with the Rashomon Set: Explanation Faithfulness in Machine Learning cs.SE · 2026 · author #3
2. Time-aware Test Case Execution Scheduling for Cyber-Physical Systems cs.SE · 2019 · author #2
3. Towards Testing of Deep Learning Systems with Training Set Reduction stat.ML · 2019 · author #2
4. Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration cs.SE · 2018 · author #2
5. A Combined Approach for Constraints over Finite Domains and Arrays cs.LO · 2013 · author #2
6. Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version cs.AI · 2013 · author #4
7. Proving or Disproving likely Invariants with Constraint Reasoning cs.SE · 2005 · author #2

Mentions

• 2606.06056 #3 · arxiv_oai · confidence 0.70 Arnaud Gotlieb
• 1312.0200 #2 · backfill · confidence 0.70 Arnaud Gotlieb
• 1308.3847 #4 · backfill · confidence 0.70 Arnaud Gotlieb

Frequent Coauthors

• Helge Spieker 4 shared papers
• Morten Mossige 2 shared papers
• Dusica Marijan 1 shared papers
• Hein Meling 1 shared papers
• J{\o}rn Eirik Betten 1 shared papers
• Mats Carlsson 1 shared papers
• Matthieu Carlier 1 shared papers
• Mireille Ducasse 1 shared papers
• Roberta Gori 1 shared papers
• Roberto Bagnara 1 shared papers
• S\'ebastien Bardin 1 shared papers
• Tristan Denmat 1 shared papers