125
Voted
ISOLA
2007
Springer
15 years 9 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...