Login / Signup
Synthesis and Refinement Check of Sequence Diagrams.
Hisashi Miyazaki
Tomoyuki Yokogawa
Sousuke Amasaki
Kazuma Asada
Yoichiro Sato
Published in:
IEICE Trans. Inf. Syst. (2012)
Keyphrases
</>
sequence diagrams
petri net
class diagrams
intermediate representation
uml models
activity diagrams
regression testing
test cases
class diagram
model based testing
data structure
object oriented
dependency graph
computer vision
open source