Specification Testing and Graph Coverage