Constraint preservation through loops

DOI10.1016/0020-0190(95)00092-QzbMath0875.68203MaRDI QIDQ672025

Borislav Nikolik

Publication date: 27 February 1997

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

zbMATH Keywords

Software engineeringArraysConstraint preservationDataflow testingProgram analysis

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Test suite oscillations

Cites Work

• Fast Algorithms for Solving Path Problems
• Symbolic Testing and the DISSECT Symbolic Evaluation System
• Some Aspects of the Verification of Loop Computations
• Programming as a Discipline of Mathematical Nature
• Unnamed Item