Methods of detection of program bugs in computer systems

DOI10.1007/BF02835864MaRDI QIDQ1570285zbMATH OpenOpenAlexFDO

Authors A. I. Shevchenko, A. Yu. Ishutin, A. Yu. Beryozko

Publication date 9 July 2000

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

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

zbMATH Keywords

information protection

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• A formal model for detecting bugs by symbolic execution of programs
• scientific article; zbMATH DE number 15889
• scientific article; zbMATH DE number 2009987
• Static analysis method for detecting buffer overflow vulnerabilities
• scientific article; zbMATH DE number 1905095

Cited in

(3)

• A formal model for detecting bugs by symbolic execution of programs
• scientific article; zbMATH DE number 2030037 (Why is no real title available?)
• scientific article; zbMATH DE number 1905095 (Why is no real title available?)

This page was built for publication: Methods of detection of program bugs in computer systems

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