𝔖 Bobbio Scriptorium

✦ LIBER ✦

Using symbolic execution and data flow criteria to aid test data selection

✍ Scribed by Moheb R. Girgis

Book ID: 112212851
Publisher: John Wiley and Sons
Year: 1993
Tongue: English
Weight: 604 KB
Volume: 3
Category: Article
ISSN: 0960-0833
DOI: 10.1002/stvr.4370030205

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings of the Second Internat

[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Path-oriented test data generation using symbolic execution and constraint solving techniques

✍ Jian Zhang, ; Chen Xu, ; Xiaoliang Wang, 📂 Article 📅 2004 🏛 IEEE ⚖ 365 KB

Testing genetic algorithm as a tool to s

Testing genetic algorithm as a tool to select relevant wavebands from field hyperspectral data for estimating pasture mass and quality in a mixed sown pasture using partial least squares regression

✍ Kensuke Kawamura; Nariyasu Watanabe; Seiichi Sakanoue; Hyo-Jin Lee; Yoshio Inoue 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 577 KB