Constraint preservation through loops

DOI10.1016/0020-0190(95)00092-QMaRDI QIDQ672025zbMATH OpenFDO

Authors Borislav Nikolik

Publication date 27 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(95)00092-Q

zbMATH Keywords

ArraysConstraint preservationDataflow testingProgram analysisSoftware engineering

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Set constraints with intersection
• Set constraints with projections
• Introduction to set constraint-based program analysis
• Constraint-based reachability
• scientific article; zbMATH DE number 1822448

Cites work

• Fast Algorithms for Solving Path Problems
• scientific article; zbMATH DE number 194119 (Why is no real title available?)
• Programming as a Discipline of Mathematical Nature
• Some Aspects of the Verification of Loop Computations
• Symbolic Testing and the DISSECT Symbolic Evaluation System

Cited in

(2)

• Pseudo‐loop conditions
• Test suite oscillations

This page was built for publication: Constraint preservation through loops

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