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