TY - JOUR T1 - Editorial: special issue on specification-based testing JO - Software Testing, Verification and Reliability UR - https://doi.org/10.1002/1099-1689(200012)10:4%3C201::aid-stvr214%3E3.0.co;2-z PY - 2001/01/01 AU - Hierons R AU - Derrick J ED - DO - DOI: 10.1002/1099-1689(200012)10:4<201::aid-stvr214>3.0 PB - Wiley VL - 10 IS - 4 SP - 201 EP - 202 Y2 - 2025/11/18 ER -