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 - 2025/01/07
ER -