Test specification based on trace description

zbMATH Open0875.68635MaRDI QIDQ1817151FDOQ1817151

A. K. Petrenko

Publication date: 13 May 1997

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

program specificationsspecification of teststrace description

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Specification for Testing
• Title not available (Why is that?)

   Recommendations

• Testing can be formal, too 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Theory of Program Testing-An Overview 👍 👎
• Specification for Testing 👍 👎

This page was built for publication: Test specification based on trace description

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817151)