A decision tree lifted domain for analyzing program families with numerical features

DOI10.1007/978-3-030-71500-7_4zbMath1467.68036arXiv2012.05863OpenAlexW3139210646MaRDI QIDQ2044175

Sven Apel, Axel Legay, Aleksandar S. Dimovski

Publication date: 4 August 2021

Full work available at URL: https://arxiv.org/abs/2012.05863

Mathematics Subject Classification ID

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

Related Items (1)

A decision tree lifted domain for analyzing program families with numerical features

Cites Work

• Unnamed Item
• The octagon abstract domain
• Modeling role-based systems with exogenous coordination
• A decision tree lifted domain for analyzing program families with numerical features
• Finding suitable variability abstractions for family-based analysis
• Finding suitable variability abstractions for lifted analysis
• A Scalable Segmented Decision Tree Abstract Domain
• Grammar Analysis and Parsing by Abstract Interpretation
• Static analysis of arithmetical congruences
• Boxes: A Symbolic Abstract Domain of Boxes
• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• Programming Languages and Systems
• An Abstract Domain to Infer Ordinal-Valued Ranking Functions

This page was built for publication: A decision tree lifted domain for analyzing program families with numerical features