Multiple-objective backtrace for solving test generation constraintsMekler, A.; Raik, JaanInternational Symposium on System-on-Chip : November 19-21, 2003, Tampere, Finland : proceedings2003 / p. 123-126 : ill https://ieeexplore.ieee.org/document/1267732