1123 search results - page 119 / 225 » GUI Testing Techniques Evaluation by Designed Experiments |
127
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
116
click to vote
TREC
2008
15 years 5 months ago
2008
This paper describes our participation in the TREC Legal competition in 2008. Our first set of experiments involved the use of Latent Semantic Indexing (LSI) with a small number of...
114
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
121
click to vote
DELOS
2007
15 years 5 months ago
2007
The similarity search has become a fundamental computational task in many applications. One of the mathematical models of the similarity – the metric space – has drawn attenti...
142
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
We present the iterative design of Momento, a tool that provides integrated support for situated evaluation of ubiquitous computing applications. We derived requirements for Momen...