Program testing: Specification languages and automatic test generation

DOI10.1007/BF01069417zbMath0604.68017MaRDI QIDQ3741023

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

Publication date: 1985

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

program correctness

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Methodology for the Generation of Program Test Data
• An Introduction to the Construction and Verification of Alphard Programs
• Higher Order Software—A Methodology for Defining Software
• A very high level programming language for data processing applications
• Can programming be liberated from the von Neumann style?
• Abstract data types and software validation
• SMOTL—A System to Construct Samples for Data Processing Program Debugging
• A relational model of data for large shared data banks

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