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