AMAST
2006
Springer
14 years 4 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...