Graph Transformations

DOI10.1007/B100934MaRDI QIDQ5292596zbMATH OpenOpenAlexFDO

Authors Paolo Baldan, Barbara König, Ingo Stürmer

Publication date 21 June 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100934

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2079824
• Automatic test case generation using interval arithmetic
• Generating test sequences from a set of MSCs.
• Developing a software system for automata-based code generation
• Testing case generator based on formal specifications

Cited in

(2)

• Developing a software system for automata-based code generation
• Subobject transformation systems

This page was built for publication: Graph Transformations

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