Connectors as designs: Modeling, refinement and test case generation

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

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)799-822
JournalScience of computer programming
Volume77
Issue number7/8
DOIs
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this