Test specification based on trace description

zbMATH Open0875.68635MaRDI QIDQ1817151FDOQ1817151

Authors: A. K. Petrenko 

Publication date: 13 May 1997

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

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

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 (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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)