TY  - JOUR

T1  - Editorial: Special issue on specification-based testing

JO  - SOFTW TEST VERIF BEH

PY  - 2000/12/01

AU  - Hierons R

AU  - Derrick J

ED  - 

VL  - 10

IS  - 4

SP  - 201

EP  - 202

Y2  - 2024/10/23

ER  -