Graph Transformations

DOI10.1007/B100934zbMATH Open1116.68477OpenAlexW4214712303MaRDI QIDQ5292596FDOQ5292596

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

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

Mathematics Subject Classification ID

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

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)