𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automating unit and integration testing with partial oracles

✍ Scribed by René Just; Franz Schweiggert

Book ID
106537017
Publisher
Springer US
Year
2011
Tongue
English
Weight
897 KB
Volume
19
Category
Article
ISSN
0963-9314

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursion in Partial Type-1 Objects With
Recursion in Partial Type-1 Objects With Well-Behaved Oracles
✍ George Tourlakis 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 625 KB

## Abstract We refine the definition of II‐computability of [12] so that oracles have a “consistent”, but natural, behaviour. We prove a Kleene Normal Form Theorem and closure of semi‐recursive relations under ∃^1^. We also show that in this more inclusive computation theory Post's theorem in the a

A knowledge-based test plan generator fo
A knowledge-based test plan generator for incremental unit and integration software testing
✍ Zorica Mihajlović; Dušan Velašević 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB 👁 2 views

Unit and integration testing are two expected levels of testing for conventionally designed programs. This article presents a system for the automatic generation of test plans for incremental unit and integration testing. Starting from a global task of planning integration testing, the system genera