Evaluation diversity for graph conditions

DOI10.1007/978-3-030-78946-6_7zbMath1492.68074OpenAlexW3173347496MaRDI QIDQ2117262

Leen Lambers, Sven Schneider

Publication date: 21 March 2022

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

zbMATH Keywords

debuggingvalidationmodel generationcoverage criteriagraph logicgraph conditionslogic coverage

Mathematics Subject Classification ID

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

Related Items (max. 100)

Evaluation diversity for graph conditions

Uses Software

• Alloy*
• GitHub

Cites Work

• Unnamed Item
• Fundamentals of algebraic graph transformation
• Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
• On the Operationalization of Graph Queries with Generalized Discrimination Networks
• Correctness of high-level transformation systems relative to nested conditions
• Symbolic Model Generation for Graph Properties

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