Evaluation diversity for graph conditions

DOI10.1007/978-3-030-78946-6_7zbMATH Open1492.68074OpenAlexW3173347496MaRDI QIDQ2117262FDOQ2117262

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

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

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)

Cites Work

• 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
• Title not available (Why is that?)
• Symbolic model generation for graph properties
• Translating essential OCL invariants to nested graph constraints focusing on set operations

Cited In (2)

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

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)