✦ LIBER ✦

Generating online test oracles from temporal logic specifications

✍ Scribed by John Håkansson; Bengt Jonsson; Ola Lundqvist

Publisher: Springer
Year: 2003
Tongue: English
Weight: 277 KB
Volume: 4
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-003-0107-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deriving Liveness Goals from Temporal Lo

Deriving Liveness Goals from Temporal Logic Specifications

✍ C. CALEIRO; G. SAAKE; A. SERNADAS 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 729 KB

A propositional temporal logic is briefly introduced and its use for reactive systems specification is motivated and illustrated. G-automata are proposed as a new operational semantics domain designed to cope with fairness/liveness properties. G-automata are a class of labelled transition systems wi

Specification based test sequence genera

Specification based test sequence generation with propositional logic

✍ G. Wimmel; H. Lötzbeyer; A. Pretschner; O. Slotosch 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 224 KB

Generating tests from B specifications a

Generating tests from B specifications and dynamic selection criteria

✍ Jacques Julliand; Pierre-Alain Masson; Régis Tissot; Pierre-Christophe Bué 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 523 KB

A logical approach to the isolation of l

A logical approach to the isolation of lactate dehydrogenase isozyme X from human tests: A general rationale for the isolation of homotetrameric LDH isozymes

✍ P. Toowicharanont; J. Svasti 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 372 KB