3424 search results - page 201 / 685 » Automated Testing of Classes |
145
click to vote
INTERACT
2003
15 years 8 months ago
2003
: If multiple evaluators analyse the outcomes of a single user test, the agreement between their lists of identified usability problems tends to be limited. This is called the ‘e...
194
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
187
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
152
click to vote
ICECCS
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
193
click to vote
ASPDAC
1998
ACM
15 years 11 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...