An expert system for checking the correctness of memory systems using simulation and metamorphic testing | Publicación