✦ LIBER ✦

Automated test generation from timed automata

✍ Scribed by Brian Nielsen; Arne Skou

Book ID: 106245338
Publisher: Springer
Year: 2003
Tongue: English
Weight: 574 KB
Volume: 5
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-002-0094-1

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

Automated Test Generation and Static Ana

Automated Test Generation and Static Analysis

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

Efficient Boolean Characteristic Functio

Efficient Boolean Characteristic Function for Timed Automatic Test Pattern Generation

✍ Yu-Min Kuo; Yue-Lung Chang; Shih-Chieh Chang 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 388 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