127 search results - page 12 / 26 » Automatic test bench generation for simulation-based validat... |
MICCAI
2001
Springer
13 years 12 months ago
2001
Springer
Extracting 3D structures from volumetric images like MRI or CT is becoming a routine process for diagnosis based on quantitation, for radiotherapy planning, for surgical planning a...
ISSRE
2008
IEEE
14 years 1 months ago
2008
IEEE
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
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...
RSP
2003
IEEE
14 years 23 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
The development of new Field-Programmed, MaskProgrammed and Laser-Programmed Gate Array architectures is hampered by the lack of realistic test circuits that exercise both the arc...