@inbook{inbook, title = {{Testing Refinements by Refining Tests}}, publisher = {{Springer Berlin Heidelberg}}, url = {{}}, year = {{1998}}, month = {{2}}, author = {{Derrick J and Boiten E}}, doi = {{10.1007/978-3-540-49676-2_19}}, isbn = {{9783540650706}}, pages = {{265-283}}, note = {{Accessed on 2025/05/19}}}