Evaluation diversity for graph conditions

DOI10.1016/J.JLAMP.2023.100862MaRDI QIDQ6156934zbMATH OpenOpenAlexFDO

Authors Sven Schneider, Leen Lambers

Publication date 19 June 2023

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2023.100862

zbMATH Keywords

coverage criteriadebugginggraph logiclogic coveragemodel generationvalidation

Mathematics Subject Classification ID

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

Recommendations

• Evaluation diversity for graph conditions
• scientific article; zbMATH DE number 219229
• Graph logics with rational relations: the role of word combinatorics
• How much are your geraniums? Taking graph conditions beyond first order
• Symbolic model generation for graph properties

Cites work

• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• M-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
• Correctness of high-level transformation systems relative to nested conditions
• Evaluation diversity for graph conditions
• Fundamental Approaches to Software Engineering
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 1059243 (Why is no real title available?)
• scientific article; zbMATH DE number 2086943 (Why is no real title available?)
• On the operationalization of graph queries with generalized discrimination networks
• Symbolic model generation for graph properties
• The unified modeling language
• Translating essential OCL invariants to nested graph constraints focusing on set operations

Cited in

(2)

• Evaluation diversity for graph conditions
• Specification and modelling of computing systems through graphs and graph transformation

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 Q6156934)