Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis

Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer

Abstract

Visual contracts model the operations of classes, components or services by pre- and post-conditions formalised as graph transformation rules. They provide a precise but intuitive notation to test, document and analyse software systems. However, due to their detailed level of specification of data states and transformations, modelling a real application is a complex and error-prone process.

BibTeX

@inproceedings{Alshanqiti-al:ASE16,
  author    = {Abdullah M. Alshanqiti and
               Reiko Heckel and
               Timo Kehrer},
  title     = {Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis},
  booktitle = {ASE},
  pages     = {816--821},
  publisher = {{ACM}},
  year      = {2016},
}

Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis

Abstract

Related papers