Test case generation using stochastic automata networks: quantitative analysis

2004 ◽  
Author(s):  
C. Bertolini ◽  
A.G. Farina ◽  
P. Fernandes ◽  
F.M. Oliveira
Keyword(s):  
Quantitative Analysis ◽  
Test Case Generation ◽  
Test Case ◽  
Stochastic Automata ◽  
Automata Networks

scholarly journals Multipreconditioned GMRES for simulating stochastic automata networks

2018 ◽  
Vol 16 (1) ◽  
pp. 986-998
Author(s):  
Chun Wen ◽  
Ting-Zhu Huang ◽  
Xian-Ming Gu ◽  
Zhao-Li Shen ◽  
Hong-Fan Zhang ◽  
...  
Keyword(s):  
Steady State ◽  
Probability Distribution ◽  
Linear Systems ◽  
Iterative Methods ◽  
Communication Systems ◽  
Queueing Systems ◽  
Steady State Probability ◽  
Stochastic Automata ◽  
Automata Networks ◽  
Generator Matrices

AbstractStochastic Automata Networks (SANs) have a large amount of applications in modelling queueing systems and communication systems. To find the steady state probability distribution of the SANs, it often needs to solve linear systems which involve their generator matrices. However, some classical iterative methods such as the Jacobi and the Gauss-Seidel are inefficient due to the huge size of the generator matrices. In this paper, the multipreconditioned GMRES (MPGMRES) is considered by using two or more preconditioners simultaneously. Meanwhile, a selective version of the MPGMRES is presented to overcome the rapid increase of the storage requirements and make it practical. Numerical results on two models of SANs are reported to illustrate the effectiveness of these proposed methods.

An Ontology-Based Approach to Automated Test Case Generation

2021 ◽  
Vol 2 (1) ◽  
Author(s):  
Shreya Banerjee ◽  
Narayan C. Debnath ◽  
Anirban Sarkar
Keyword(s):  
Test Case Generation ◽  
Test Case ◽  
Automated Test Case Generation ◽  
Automated Test
Sign in / Sign up

Export Citation Format

Share Document