10715 search results - page 212 / 2143 » Proofs from Tests |
139
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...
132
Voted
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
147
Voted
AGILEDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Automated acceptance testing is a quite recent addition to testing in agile software development holding great promise of improving communication and collaboration. This paper sum...
108
click to vote
EOR
2002
15 years 3 months ago
2002
This paper discusses various statistics for testing hypotheses regarding returns to scale in the context of non-parametric models of technical efficiency. In addition, the paper p...
137
click to vote
FSS
2010
15 years 1 months ago
2010
In this paper, we introduce a linearity test for fuzzy rule-based models in the framework of time series modeling. To do so, we explore a family of statistical models, the regime ...