Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings - Softcover
Indeed, functional fault detection requires the definition of a reference ( called an oracle in software testing) in order to check the conformity between an ...
"synopsis" may belong to another edition of this title.