TY  - CONF

T1  - Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.

JO  - FM

UR  - https://doi.org/10.1007/978-3-642-05089-3

PY  - 2009/01/01

AU  - Walkinshaw N

AU  - Derrick J

AU  - Guo Q

ED  - Cavalcanti A

ED  - Dams D

PB  - Springer

SN  - 978-3-642-05088-6

VL  - 5850

SP  - 305

EP  - 320

Y2  - 2024/10/23

ER  -