Method for detecting exceptions in Windows applications

MaRDI QIDQ880718zbMATH OpenFDO

Authors Yu. P. Korablin, A. N. Kostarev

Publication date 16 May 2007

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Towards Automatic Exception Safety Verification
• scientific article; zbMATH DE number 2086611
• An abstract interpretation for estimating uncaught exceptions in Standard ML programs
• scientific article; zbMATH DE number 3949689
• A formal model for detecting bugs by symbolic execution of programs

This page was built for publication: Method for detecting exceptions in Windows applications

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