164 search results - page 8 / 33 » Interaction Testing in Model-Based Development: Effect on Mo... |
UTP
2010
13 years 6 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
IUI
2012
ACM
12 years 4 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Cell phone conversations distract drivers. This research explores the possibility of reducing distracting by providing callers with remote information about the driver's traf...
CASCON
2010
13 years 3 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
The steering law model describes pointing device motion through constrained paths. Previous uses of the model are deficient because they are built using only error-free responses,...