Program testing using symbolic execution

MaRDI QIDQ1154241zbMATH OpenFDO

Authors Yu. V. Borzov

Publication date 1980

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

Mathematics Subject Classification ID

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

Cited in

(1)

• Relationship of program correctness checking methods

This page was built for publication: Program testing using symbolic execution

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