6 search results - page 2 / 2 » fortest 2008 |
150
click to vote
FORTEST
2008
15 years 6 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...