An automatic testing method of invalid arithmetic operations

MaRDI QIDQ3422603zbMATH OpenFDO

Authors Wenjing Cao, Shenghong Xu, Yunzhan Gong

Publication date 13 February 2007

zbMATH Keywords

software testing

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 7300397
• Method for automated program errors search in complex data processing algorithms
• Static analysis method for detecting buffer overflow vulnerabilities
• Application of mutation analysis to evaluation of program-testing quality
• Static analysis: a brief survey

Cited in

(2)

• The use of error detection and compensation techniques for testing the integer class cBigNumber
• Method for automated program errors search in complex data processing algorithms

This page was built for publication: An automatic testing method of invalid arithmetic operations

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