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

Lazy symbolic execution for test data generation

โœ Scribed by Lin, M.X.; Chen, Y.L.; Yu, K.; Wu, G.S.


Book ID
114445048
Publisher
The Institution of Engineering and Technology
Year
2011
Tongue
English
Weight
551 KB
Volume
5
Category
Article
ISSN
1751-8806

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A framework for intelligent test data ge
โœ Kai-Hsiung Chang; James H. Cross; W. Homer Carlisle; David B. Brown ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 888 KB
Automated test-data generation for excep
โœ N. Tracey; J. Clark; K. Mander; J. McDermid ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 285 KB ๐Ÿ‘ 1 views

This paper presents a technique for automatically generating test-data to test exceptions. The approach is based on the application of a dynamic global optimization based search for the required test-data. The authors' work has focused on test-data generation for safety-critical systems. Such system

Data Generation for Path Testing
โœ Nashat Mansour; Miran Salame ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Springer US ๐ŸŒ English โš– 137 KB