Improving testing efficiency through test abbreviation