Clustering Abstractions To Increase The Efficiency Of Requirements-Based Testing