@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 2024/12/22}}}