Andrei Mekler, Jaan Raik. Multiple-objective backtrace for solving test generation constraints. In Proceedings of the 2003 International Symposium on System-on-Chip, Tampere, Finland, November 19-21, 2003. pages 123-126, IEEE, 2003. [doi]
Abstract is missing.