1. A computer-implemented method comprising: obtaining at least a definition of a meta attribute, the meta attribute is associated with a functional coverage model, the functional coverage model comprises attributes and corresponding values; obtaining a trace associated with a target system, the trace comprises a plurality of entries, wherein substantially each entry of the plurality of entries is indicative of a state of the target system; identifying two or more matching fields from one or more entries of the plurality of entries; computing, by a processor, a value of the meta attribute based upon values of the two or more matching fields and based upon the definition of the meta attribute; and outputting an indication of a covered coverage task, the covered coverage task comprises the value of the meta attribute associated with the meta attribute.