Test generation and testability alternatives exploration of critical algorithms for embedded applications | IEEE Journals & Magazine | IEEE Xplore