Program testing: Specification languages and automatic test generation

DOI10.1007/BF01069417MaRDI QIDQ3741023zbMATH OpenFDO

Authors A. A. Kalnin'Sh, Yu. V. Borzov

Publication date 1985

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01069417

zbMATH Keywords

program correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A relational model of data for large shared data banks
• A very high level programming language for data processing applications
• Abstract data types and software validation
• An Introduction to the Construction and Verification of Alphard Programs
• Can programming be liberated from the von Neumann style?
• Higher Order Software—A Methodology for Defining Software
• scientific article; zbMATH DE number 3427224 (Why is no real title available?)
• scientific article; zbMATH DE number 3596232 (Why is no real title available?)
• scientific article; zbMATH DE number 3630185 (Why is no real title available?)
• scientific article; zbMATH DE number 3639107 (Why is no real title available?)
• scientific article; zbMATH DE number 3797161 (Why is no real title available?)
• Methodology for the Generation of Program Test Data
• SMOTL—A System to Construct Samples for Data Processing Program Debugging

This page was built for publication: Program testing: Specification languages and automatic test generation

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