@misc{16101,
  author = {Arnaud Gotlieb},
  title = {Code-Based Testing with Constraints},
  year = {2021},
  journal = {HUAWEI Paris, France},
  address = {HUAWEI Paris - 31 March 2021},
}