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

validationmodel generationdebuggingcoverage criteriagraph logiclogic 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
• 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

• scientific article; zbMATH DE number 1059243 (Why is no real title available?)
• scientific article; zbMATH DE number 2086943 (Why is no real title available?)
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• 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
• 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
• \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence

Cited in

(2)

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

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)