Test specification based on trace description

MaRDI QIDQ1817151zbMATH OpenFDO

Authors 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)

Recommendations

• Testing can be formal, too
• scientific article; zbMATH DE number 2084350
• scientific article; zbMATH DE number 1706341
• Theory of Program Testing-An Overview
• Specification for Testing

Cited in

(7)

• Specification for Testing
• White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
• Bug localization by constructing reduced traces
• Mockingbird: A logical methodology for testing
• An introduction to test specification in FQL
• scientific article; zbMATH DE number 2084350 (Why is no real title available?)
• scientific article; zbMATH DE number 3852422 (Why is no real title available?)

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)