6293 search results - page 268 / 1259 » Information Flow Testing |
125
click to vote
ENTCS
2006
15 years 4 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
141
click to vote
TVLSI
2008
15 years 4 months ago
2008
We present a selective encoding method that reduces test data volume and test application time for scan testing of Intellectual Property (IP) cores. This method encodes the slices ...
147
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
127
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
136
click to vote
ISSADS
2005
Springer
15 years 10 months ago
2005
Springer
An intrusion detection system (IDS) usually has to analyse Giga-bytes of audit information. In the case of anomaly IDS, the information is used to build a user profile characteris...