✦ LIBER ✦

An approach to formalizing specification-based class testing

✍ Scribed by Huai-kou Miao; Ling Liu

Book ID: 107482411
Publisher: Chinese Electronic Periodical Services
Year: 2006
Tongue: English
Weight: 654 KB
Volume: 10
Category: Article
ISSN: 1007-6417
DOI: 10.1007/s11741-006-0101-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to testing specifications

✍ Claude Jard; Gregor v. Bochmann 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 983 KB

Testing refinements of state-based forma

Testing refinements of state-based formal specifications

✍ John Derrick; Eerke Boiten 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB

A specification provides a concise description of a system, and can be used as both the benchmark against which any implementation is tested, and also as a means to generate tests. Formal specifications have potential advantages over informal descriptions because they offer the possibility of reduci

Formalizing common sense: an operator-ba

Formalizing common sense: an operator-based approach to the Tibbles–Tib problem

✍ Ingvar Johansson 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 126 KB

A formal approach to protocol performanc

A formal approach to protocol performance testing

✍ Mingwei Xu; Jianping Wu 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 468 KB

A formal approach to protocol interopera

A formal approach to protocol interoperability testing

✍ Ruibing Hao; Jianping Wu 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 812 KB

An approach to formal specification and

An approach to formal specification and verification of map-centered applications

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB