Connectors as designs: Modeling, refinement and test case generation

Meng Sun; Farhad Arbab; Bernhard Aichernig; Lacramioara Astefanoaei; Frank S. de Boer; Jan Rutten

doi:10.1016/j.scico.2011.04.002

Connectors as designs: Modeling, refinement and test case generation

Meng Sun, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan Rutten

Institute of Software Technology (7160)

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	799-822
Journal	Science of computer programming
Volume	77
Issue number	7/8
DOIs	https://doi.org/10.1016/j.scico.2011.04.002
Publication status	Published - 2012

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

10.1016/j.scico.2011.04.002

Cite this

@article{187c04740fde41c88a85d19f16dc292b,

title = "Connectors as designs: Modeling, refinement and test case generation",

author = "Meng Sun and Farhad Arbab and Bernhard Aichernig and Lacramioara Astefanoaei and {de Boer}, {Frank S.} and Jan Rutten",

year = "2012",

doi = "10.1016/j.scico.2011.04.002",

language = "English",

volume = "77",

pages = "799--822",

journal = "Science of computer programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "7/8",

}

TY - JOUR

T1 - Connectors as designs: Modeling, refinement and test case generation

AU - Sun, Meng

AU - Arbab, Farhad

AU - Aichernig, Bernhard

AU - Astefanoaei, Lacramioara

AU - de Boer, Frank S.

AU - Rutten, Jan

PY - 2012

Y1 - 2012

UR - http://www.journals.elsevier.com/science-of-computer-programming/

U2 - 10.1016/j.scico.2011.04.002

DO - 10.1016/j.scico.2011.04.002

M3 - Article

SN - 0167-6423

VL - 77

SP - 799

EP - 822

JO - Science of computer programming

JF - Science of computer programming

IS - 7/8

ER -

Connectors as designs: Modeling, refinement and test case generation

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Formal Methods

Cite this

Connectors as designs: Modeling, refinement and test case generation

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

Formal Methods

Cite this