@misc{14247,
  author = {Arnaud Gotlieb},
  title = {Software Testing Applications with Constraint Optimization},
  year = {2016},
  journal = {SICS, Smart Programming Day, 2016, Nov. 29th, Stockholm, Sweden},
}