112
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...