443 search results - page 23 / 89 » Testing for Software Vulnerability Using Environment Perturb... |
WISER
2004
ACM
15 years 5 months ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
ISBI
2004
IEEE
16 years 12 days ago
2004
IEEE
The practice of image processing inherently requires software development. Creating this technology requires designing, implementing, debugging and testing software applications o...
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...