added serialization/deserialization of coverage