21183 search results - page 491 / 4237 » Adaptive Testing by Test |
159
click to vote
FORTE
1998
15 years 8 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...
182
click to vote
PTS
1998
15 years 8 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
189
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...
181
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The evolution of alternatively spliced exons (ASEs) is of primary interest because these exons are suggested to be a major source of functional diversity of proteins. ...
196
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...