Testing abstract behavioral specifications

Peter Y. H. Wong; Richard Bubel; Frank S. de Boer; Miguel Gómez-Zamalloa; Stijn de Gouw; Reiner Hähnle; Karl Meinke; Muddassar Azam Sindhu

doi:10.1007/s10009-014-0301-x

Testing abstract behavioral specifications

Peter Y. H. Wong
, Richard Bubel
, Frank S. de Boer
, Miguel Gómez-Zamalloa
, Stijn de Gouw
, Reiner Hähnle
, Karl Meinke
, Muddassar Azam Sindhu

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

3 Citations (Web of Science)

Original language	English
Pages (from-to)	107-119
Number of pages	13
Journal	International Journal on Software Tools for Technology Transfer
Volume	17
Issue number	1
DOIs	https://doi.org/10.1007/s10009-014-0301-x
Publication status	Published - 2015
Externally published	Yes

Access to Document

10.1007/s10009-014-0301-x

Cite this

@article{3fa5541b5dd7401f99b498728b505ef4,

title = "Testing abstract behavioral specifications",

author = "Wong, \{Peter Y. H.\} and Richard Bubel and Boer, \{Frank S. de\} and Miguel G{\'o}mez-Zamalloa and Gouw, \{Stijn de\} and Reiner H{\"a}hnle and Karl Meinke and Sindhu, \{Muddassar Azam\}",

year = "2015",

doi = "10.1007/s10009-014-0301-x",

language = "English",

volume = "17",

pages = "107--119",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2787",

publisher = "Springer Verlag",

number = "1",

}

TY - JOUR

T1 - Testing abstract behavioral specifications

AU - Wong, Peter Y. H.

AU - Bubel, Richard

AU - Boer, Frank S. de

AU - Gómez-Zamalloa, Miguel

AU - Gouw, Stijn de

AU - Hähnle, Reiner

AU - Meinke, Karl

AU - Sindhu, Muddassar Azam

PY - 2015

Y1 - 2015

U2 - 10.1007/s10009-014-0301-x

DO - 10.1007/s10009-014-0301-x

M3 - Article

SN - 1433-2787

VL - 17

SP - 107

EP - 119

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 1

ER -

Testing abstract behavioral specifications

Access to Document

Fingerprint

Cite this