2002
DOI: 10.1145/568760.568830
View full text
|
Sign up to set email alerts
|
Share

Abstract: ABSTRACTThe benefits of usage models in the statistical testing of software have been recognized by the software engineering community and discrete state formalisms have been largely used to describe such usage models of software. The Markov Chains formalism (MC) is a natural choice to do so. However, in this paper we suggest the use of a more sophisticated discrete state formalism, the Stochastic Automata Networks (SAN). In many problems of the performance evaluation area, the SAN models present advantages o…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
2
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals