7766 search results - page 240 / 1554 » Testing Nondeterminate Systems |
186
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
Functional debugging often dominates the time and cost of the ASIC system development, mainly due to the limited controllability and observability of the storage elements in desig...
201
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
179
click to vote
AIR
2005
15 years 6 months ago
2005
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...
176
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
144
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we describe various setups that allow usability professionals to conduct effective user studies on mobile devices. We describe the factors relevant when building a ...