Test length for random testing of sequential machines application to RAMs | Publicación