TY  - CHAP

T1  - Testability Transformation – Program Transformation to Improve Testability

T2  - Formal Methods and Testing

PY  - 2008/01/01

AU  - Harman M

AU  - Baresel A

AU  - Binkley D

AU  - Hierons R

AU  - Hu L

AU  - Korel B

AU  - McMinn P

AU  - Roper M

ED  - 

DO  - DOI: 10.1007/978-3-540-78917-8_11

PB  - Springer Berlin Heidelberg

SN  - 9783540789161

SP  - 320

EP  - 344

Y2  - 2024/12/22

ER  -