✦ LIBER ✦

Automated Test Generation and Static Analysis

✍ Scribed by S. K. Chernonozhkin

Book ID: 110296929
Publisher: SP MAIK Nauka/Interperiodica
Year: 2001
Tongue: English
Weight: 60 KB
Volume: 27
Category: Article
ISSN: 0361-7688
DOI: 10.1023/a:1011050827465

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Test-Form Generation

✍ Wim J. van der Linden; Qi Diao 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 164 KB

Using static analysis to improve automat

Using static analysis to improve automatic test generation

✍ Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 260 KB

LIMSoft: automated tool for sensitivity

LIMSoft: automated tool for sensitivity analysis and test vector generation

✍ Saab, K.; Marche, D.; Hamida, N.B.; Kaminska, B. 📂 Article 📅 1996 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 601 KB

Automated test generation from timed aut

Automated test generation from timed automata

✍ Brian Nielsen; Arne Skou 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 574 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

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