✦ LIBER ✦

Automated Test Case Generation for BDI Agents

✍ Scribed by Chi Keen Low; T. Y. Chen; Ralph Rónnquist

Book ID: 110284967
Publisher: Springer US
Year: 1999
Tongue: English
Weight: 132 KB
Volume: 2
Category: Article
ISSN: 1387-2532
DOI: 10.1023/a:1010011219782

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

SDL- and MSC-Based Specification and Aut

SDL- and MSC-Based Specification and Automated Test Case Generation for INAP

✍ Jens Grabowski; Dieter Hogrefe 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 509 KB

Separating sequence overlap for automate

Separating sequence overlap for automated test sequence generation

✍ R. M. Hierons 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 446 KB

ConData: A Tool for Automating Specifica

ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems

✍ Eliane Martins; Selma B. Sabião; Ana Maria Ambrosio 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 163 KB

Formalizing interoperability for test ca

Formalizing interoperability for test case generation purpose

✍ Alexandra Desmoulin; César Viho 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 477 KB

Model-Based Test Case Generation for Sma

Model-Based Test Case Generation for Smart Cards

✍ J. Philipps; A. Pretschner; O. Slotosch; E. Aiglstorfer; S. Kriebel; K. Scholl 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 261 KB