scientific article; zbMATH DE number 778420

MaRDI QIDQ4841763zbMATH OpenFDO

Authors P. A. D. Demaine, M. M. de Maine

Publication date 24 July 1995

zbMATH Keywords

iteration methodsregression methodsreliability

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of software (68N99)

Recommendations

• Method for automated program errors search in complex data processing algorithms
• Automated program repair using formal verification techniques

Cited in

(5)

• Program verification: to err is human
• scientific article; zbMATH DE number 177898 (Why is no real title available?)
• scientific article; zbMATH DE number 7300397 (Why is no real title available?)
• Automated program repair using formal verification techniques
• Automatic error correction in flexion languages

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 Q4841763)