1. A method of employing a software model transform, said method comprising: utilizing a processor to execute computer code configured to perform the steps of: accepting a software model transform; manipulating the transform to obtain a transform representation; producing an abstraction of the transform via: forcibly exploring a plurality of paths one by one via a blank input model, with respect to the transform representation; wherein said exploring comprises undertaking selective path exploration which is based on dependence chains starting at an input-model entity and terminating at an output statement; conducting a trace of at least one explored path via producing at least one taint log, wherein the at least one taint log includes a trace of at least one explored path, the trace including loop, data and control taint information; and producing an abstraction of the transform via utilizing the trace, the abstraction comprising a simplified semantic view of the transform; wherein the abstraction conveys: literals, at least one input-model entity, repeating fragments and conditional fragments, output fragments and guards; wherein each literal is created for a data taint in the trace; wherein each conditional fragment is created for a control taint in the trace, from a relational expression captured in the control taint information; wherein each repeating fragment is created for a loop taint in the trace; wherein, for a path of consecutive control taints, a conjunction of guards is created; and wherein, for two sibling control taints for the same statement but different branches, alternative output fragments are created.