On calculating assertion probabilities for program families

MaRDI QIDQ6124290zbMATH OpenFDO

Authors Aleksandar Dimovski

Publication date 27 March 2024

Mathematics Subject Classification ID

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

Recommendations

• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• Finding suitable variability abstractions for lifted analysis
• scientific article; zbMATH DE number 7445154
• Finding suitable variability abstractions for family-based analysis

This page was built for publication: On calculating assertion probabilities for program families

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