✦ LIBER ✦

Abstractions for Model-Based Testing

✍ Scribed by Wolfgang Prenninger; Alexander Pretschner

Book ID: 108126356
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 232 KB
Volume: 116
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.02.086

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-Based Visualization of Temporal Ab

Model-Based Visualization of Temporal Abstractions

✍ Yuval Shahar; Cleve Cheng 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 401 KB

Functional testing and design abstractio

Functional testing and design abstractions

✍ William E. Howden 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 849 KB

Model-based testing for real

✍ A. Pretschner; O. Slotosch; E. Aiglstorfer; S. Kriebel 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 468 KB

Model-Based Testing

✍ Schieferdecker, I. 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 650 KB

On using data abstractions for model che

On using data abstractions for model checking refinements

✍ John Derrick; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 444 KB

Geometric shape abstractions for interne

Geometric shape abstractions for internet-based virtual prototyping

✍ Rajit Gadh; Ratnakar Sonthi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 919 KB

Virtual prototyping (VP) typically involves analyzing computer aided design (CAD) models for different end applications such as manufacturability or assemblability analysis. Such analyses may be performed via the aid of expert system agents which could be residing in a distributed fashion on the Int