This paper presents an approach for automatic executable test case and test sequence generation for a protocol modeled by an SDL system. Our methodology uses a uniยฎed method which tests an Extended Finite State Machine (EFSM) based system by using control and data ยฏow techniques. To test an SDL syst
โฆ LIBER โฆ
A multi-relation approach of general systems and tests of applications
โ Scribed by Yi Lin
- Publisher
- Springer Netherlands
- Year
- 1989
- Tongue
- English
- Weight
- 756 KB
- Volume
- 79
- Category
- Article
- ISSN
- 0039-7857
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
A test case generation approach for conf
โ
C. Bourhfir; E. Aboulhamid; R. Dssouli; N. Rico
๐
Article
๐
2001
๐
Elsevier Science
๐
English
โ 203 KB
Application of generalized contaminant r
โ
Song-Bae Kim; Dong-Ju Kim
๐
Article
๐
2003
๐
John Wiley and Sons
๐
English
โ 176 KB
## Abstract In this study, a generalized contaminant retardation factor applicable to a multiphase system where various types of colloids exist simultaneously with contaminants is derived and incorporated into an equilibrium model which is successfully applied to experimental data for which phenant
Optimization of test strategies: a gener
โ
S. Uryas'ev; H. Vallerga
๐
Article
๐
1993
๐
Elsevier Science
๐
English
โ 812 KB
Efficient generation of multi-scale rand
โ
M. R. Borges; F. Pereira; H. P. Amaral Souto
๐
Article
๐
2010
๐
Wiley (John Wiley & Sons)
๐
English
โ 739 KB
Topology of a general approximation syst
โ
Alex Bacopoulos
๐
Article
๐
1971
๐
Elsevier Science
๐
English
โ 539 KB
Applications of a general propagation al
โ
A. P. Dawid
๐
Article
๐
1992
๐
Springer US
๐
English
โ 1010 KB