168 search results - page 19 / 34 » Random testing of interrupt-driven software |
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
SOUPS
2009
ACM
14 years 1 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
BMCBI
2004
13 years 7 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
SIGKDD
2010
13 years 2 months ago
2010
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...