TY  - JOUR

T1  - Editorial: special issue on specification-based testing

JO  - Software Testing, Verification and Reliability

PY  - 2000/12/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  - 2024/12/22

ER  -