7167 search results - page 280 / 1434 » A Technique for Invariant Generation |
216
click to vote
IWANN
2009
Springer
16 years 2 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
199
click to vote
ITICSE
2004
ACM
16 years 26 days ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
198
click to vote
ITC
1993
IEEE
15 years 11 months ago
1993
IEEE
ÐPseudoexhaustive testing of a combinational circuit involves applying all possible input patterns to all its individual output cones. The testing ensures detection of all detecta...
187
click to vote
ENTCS
2006
15 years 7 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 ...
192
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
We describe a digital image forensics technique to distinguish images captured by a digital camera from computer generated images. Our approach is based on the fact that image acq...