Sciweavers

TAP
2008
Springer
102views Hardware» more  TAP 2008»
14 years 11 days ago
Functional Testing in the Focal Environment
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
Matthieu Carlier, Catherine Dubois