Problem identification using program checking

DOI10.1016/j.dam.2003.11.005zbMath1088.68540OpenAlexW1989130391MaRDI QIDQ1765236

Christian S. Collberg, Todd A. Proebsting

Publication date: 23 February 2005

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2003.11.005

zbMATH Keywords

AlgorithmProgram checkingSearch engineSoftware repositoryType discrimination

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Theory of software (68N99)

Uses Software

• OEIS

Cites Work

• Unnamed Item
• Batch checking with applications to linear functions
• Spot-checkers
• Designing checkers for programs that run in parallel
• The use of character sets and character mappings in Icon
• Software reliability via run-time result-checking
• Register Allocation in Structured Programs
• Designing programs that check their work
• Program result checking: A new approach to making programs more reliable

This page was built for publication: Problem identification using program checking