Extracting requirements tests