✦ 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
DOI: 10.1049/iet-sen.2010.0029

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strategies for scalable symbolic executi

Strategies for scalable symbolic execution-driven test generation for programs

✍ Saparya Krishnamoorthy; Michael S. Hsiao; Loganathan Lingappan 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 454 KB

Using symbolic execution and data flow c

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

✍ Moheb R. Girgis 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 604 KB

A framework for intelligent test data ge

A framework for intelligent test data generation

✍ Kai-Hsiung Chang; James H. Cross; W. Homer Carlisle; David B. Brown 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 888 KB

Dynamic method for software test data ge

Dynamic method for software test data generation

✍ Bogdan Korel 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 663 KB

Automated test-data generation for excep

Automated test-data generation for exception conditions

✍ 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