scientific article; zbMATH DE number 3926224

MaRDI QIDQ3700816zbMATH OpenFDO

Authors Andrzej Lewiński

Publication date 1985

zbMATH Keywords

program correctnesssymbolic testing

Mathematics Subject Classification ID

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

Recommendations

• Relationship of program correctness checking methods
• A contribution to the theory of program testing
• Theory of Program Testing-An Overview
• scientific article; zbMATH DE number 4024753
• scientific article; zbMATH DE number 1615262

Cited in

(9)

• A contribution to the theory of program testing
• A test environment using symbolic program trace
• A formal model for detecting bugs by symbolic execution of programs
• scientific article; zbMATH DE number 1615262 (Why is no real title available?)
• Relationship of program correctness checking methods
• scientific article; zbMATH DE number 4157871 (Why is no real title available?)
• Theory of Program Testing-An Overview
• scientific article; zbMATH DE number 3990845 (Why is no real title available?)
• Simulating symbolic interaction*

This page was built for publication:

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