HLS in Testing