Evaluation diversity for graph conditions

DOI10.1007/978-3-030-78946-6_7zbMATHOpenAlexMaRDI QIDQ2117262FDO

Authors Sven Schneider, Leen Lambers

Publication date 21 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-78946-6_7

zbMATH Keywords

validationmodel generationdebuggingcoverage criteriagraph logicgraph conditionslogic coverage

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Logic in computer science (03B70)

Recommendations

• Evaluation diversity for graph conditions
• Symbolic model generation for graph properties
• scientific article; zbMATH DE number 219229
• Monadic second-order evaluations on tree-decomposable graphs
• How much are your geraniums? Taking graph conditions beyond first order

Cites work

• scientific article; zbMATH DE number 1059243 (Why is no real title available?)
• Correctness of high-level transformation systems relative to nested conditions
• Fundamentals of algebraic graph transformation
• On the operationalization of graph queries with generalized discrimination networks
• Symbolic model generation for graph properties
• Translating essential OCL invariants to nested graph constraints focusing on set operations

Cited in

(2)

• Evaluation diversity for graph conditions
• How much are your geraniums? Taking graph conditions beyond first order

Describes a project that uses

Uses Software

• Alloy*
• GitHub

This page was built for publication: Evaluation diversity for graph conditions

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