754 search results - page 87 / 151 » Automated Model Selection Using Context-Dependent Behaviors |
123
click to vote
FORTE
1998
15 years 5 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
129
click to vote
CN
2004
15 years 4 months ago
2004
Launching a denial of service (DoS) attack is trivial, but detection and response is a painfully slow and often a manual process. Automatic classification of attacks as single- or...
123
click to vote
MVA
2000
15 years 5 months ago
2000
In this paper, we address the problem of recovering the camera radial distortion coefficients from one image. The approach that we propose uses a special kind of snakes called rad...
147
click to vote
RSP
2003
IEEE
15 years 9 months 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...
146
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...