Revisiting Statechart Synthesis with an Algebraic Approach.

Tewfik Ziadi Loïc Hélouët Jean-Marc Jézéquel

Published in: ICSE (2004)

Keyphrases

test cases
program synthesis
texture synthesis
data sets
machine learning
image processing
algebraic operations
functional programs
database
decision making
three dimensional
multi agent
software testing