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...
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...
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...
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...
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 ...