148 search results - page 11 / 30 » The Automated Generation of Test Cases Using an Extended Dom... |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
ICFEM
2009
Springer
14 years 1 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
ICCBR
2010
Springer
13 years 11 months ago
2010
Springer
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...