Context and motivation. Trace matrices are the lynchpin of verification and validation activities that must be performed for missionand safety-critical software systems: criticality analysis, completeness analysis, change impact analysis, etc. Studies have shown that automated traceability techniques can achieve high recall and sometimes acceptable precision when used to generate trace matrices...
