Combining slicing and constraint solving for validation of measurement software

DOI10.1007/3-540-61739-6_51zbMath1482.68094OpenAlexW1533386851MaRDI QIDQ5030203

Gregor Snelting

Publication date: 16 February 2022

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61739-6_51

zbMATH Keywords

program slicingconstraint solvingmeasurement systemsoftware validationpath condition

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Equivalence of conservative, free, linear program schemas is decidable

Cites Work

• Unnamed Item
• Unnamed Item
• Program Slicing
• Certification of programs for secure information flow
• Applying interval arithmetic to real, integer, and boolean constraints

This page was built for publication: Combining slicing and constraint solving for validation of measurement software