97 search results - page 1 / 20 » Using Machine Learning to Refine Black-Box Test Specificatio... |
QSIC
2008
IEEE
13 years 11 months ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
ISOLA
2007
Springer
13 years 10 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...
IGPL
2006
13 years 4 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
PTS
2007
13 years 6 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
DAGSTUHL
2004
13 years 6 months ago
2004
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...