sentence1: carving unit tests carving unit tests was introduced by elbaum et al as a means to speed up repeated system tests , for instance in the context of regression testing .
sentence2: carving unit tests was introduced by elbaum et al as a means to speed up repeated system tests , for instance in the context of regression testing .