"Unconstrained duals and their use in achieving all-uses coverage" (1996) Marré, M.;Bertolino, A.;Tracz W. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996:147-157