๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Test Case Generation for Mutation-based Testing of Timeliness

โœ Scribed by Robert Nilsson; Jeff Offutt; Jonas Mellin


Book ID
108126743
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
346 KB
Volume
164
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Model-Based Test Case Generation for Sma
โœ J. Philipps; A. Pretschner; O. Slotosch; E. Aiglstorfer; S. Kriebel; K. Scholl ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 261 KB
A test case generation approach for conf
โœ C. Bourhfir; E. Aboulhamid; R. Dssouli; N. Rico ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 203 KB

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