3281 search results - page 113 / 657 » An Approach to use Executable Models for Testing |
110
Voted
WCET
2008
15 years 4 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
123
click to vote
SNPD
2008
15 years 4 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
124
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
158
click to vote
SIGIR
2011
ACM
14 years 5 months ago
2011
ACM
Test collections are the primary drivers of progress in information retrieval. They provide a yardstick for assessing the effectiveness of ranking functions in an automatic, rapi...
116
Voted
TREC
2001
15 years 3 months ago
2001
This paper describes new machine learning approaches to predict the correct homepage in response to a user's homepage finding query. This involves two phases. In the first ph...