Automated metamorphic testing

von Gotlieb, Arnaud
Veröffentlicht 2003

Learning Objective Boundaries for Constraint Optimization Problems

von Spieker, Helge
Veröffentlicht in LOD (6. : 2020 : Online) Machine learning, optimization, and data science ; Part 2 (2020)

2013 13th International Conference on Quality Software (QSIC 2013) : Nanjing, China, 29 - 30 August 2013 ; [held parallel to the conference: Symposium on Engineering Test Harness...

Veröffentlicht 2013

Exploiting binary floating-point representations for constraint propagation

von Bagnara, Roberto
Veröffentlicht in Institute for Operations Research and the Management Sciences INFORMS journal on computing (2016)

RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots

von Collet, Mathieu
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)