@article{article, title = {{Editorial: Special issue on specification-based testing}}, url = {{}}, year = {{2000}}, month = {{12}}, author = {{Hierons R and Derrick J}}, volume = {{10}}, journal = {{SOFTW TEST VERIF BEH}}, issue = {{4}}, pages = {{201-202}}, note = {{Accessed on 2025/05/30}}}