Using mutual information to test from Finite State Machines: Test suite selection | Publicación