Text this: Utilizing an abstraction relation document in grey-box testing approach