Combining slicing and constraint solving for validation of measurement software

DOI10.1007/3-540-61739-6_51MaRDI QIDQ5030203zbMATH OpenOpenAlexFDO

Authors 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

constraint solvingmeasurement systempath conditionprogram slicingsoftware validation

Mathematics Subject Classification ID

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

Recommendations

• Program Slicing
• Static and dynamic slicing of constraint logic programs
• Understanding program slices
• Cut branches before looking for bugs: certifiably sound verification on relaxed slices
• Cut branches before looking for bugs: sound verification on relaxed slices

Cites work

• Applying interval arithmetic to real, integer, and boolean constraints
• Certification of programs for secure information flow
• scientific article; zbMATH DE number 555223 (Why is no real title available?)
• scientific article; zbMATH DE number 1158761 (Why is no real title available?)
• Program Slicing

Cited in

(1)

• Equivalence of conservative, free, linear program schemas is decidable

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

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