✦ LIBER ✦

Automated Test-Form Generation

✍ Scribed by Wim J. van der Linden; Qi Diao

Book ID: 111335682
Publisher: John Wiley and Sons
Year: 2011
Tongue: English
Weight: 164 KB
Volume: 48
Category: Article
ISSN: 0022-0655
DOI: 10.1111/j.1745-3984.2011.00140.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Test Generation and Static Ana

Automated Test Generation and Static Analysis

✍ S. K. Chernonozhkin 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 60 KB

Automated test generation from timed aut

Automated test generation from timed automata

✍ Brian Nielsen; Arne Skou 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 574 KB

Formative Automated Computer Testing (FA

Formative Automated Computer Testing (FACT)

✍ Nicoll Hunt; Janet Hughes; Glenn Rowe 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 275 KB

Automated Test Case Generation for BDI A

Automated Test Case Generation for BDI Agents

✍ Chi Keen Low; T. Y. Chen; Ralph Rónnquist 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 132 KB

Coverage-driven Automated Compiler Test

Coverage-driven Automated Compiler Test Suite Generation

✍ A. Kalinov; A. Kossatchev; A. Petrenko; M. Posypkin; V. Shishkov 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 309 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