Login / Signup
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations.
Nabil Messaoudi
Allaoua Chaoui
Mohamed Bettaz
Published in:
Int. J. Comput. Vis. Robotics (2019)
Keyphrases
</>
multi layer
sequence diagrams
class diagrams
petri net
uml models
activity diagrams
intermediate representation
neural network
test cases
class diagram
neural nets
regression testing
dependency graph
model based testing
object oriented
machine learning algorithms
decision trees