Text this: Testing activo y pasivo de sistemas con información temporal y probabilística /