67 search results - page 6 / 14 » Generating Tests for Control Portion of SDL Specifications |
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
ACMACE
2010
ACM
13 years 2 months ago
2010
ACM
Concert Viewing Headphones, which are equipped with a projector, an inclination sensor, and a distance sensor for zoom control, have been developed. These headphones enable a user...
BMCBI
2007
13 years 7 months ago
2007
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
PTS
2003
13 years 9 months ago
2003
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
JSS
2008
13 years 6 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...