6704 search results - page 101 / 1341 » Testing Scenario-Based Models |
146
click to vote
PTS
2007
15 years 7 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
153
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
One of disadvantages of Hidden Markov Models (HMMs) is its low resistance to unexpected noises among observation sequences. Unexpected noises in a sequence usually "break&quo...
174
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
207
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
149
click to vote
IEEEIAS
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...