Multiple-objective backtrace for solving test generation constraints. - Andrei Mekler; Jaan Raik (SoC, 2003)