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

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-2779",

publisher = "Springer Verlag",

number = "1",

}

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

In: International Journal on Software Tools for Technology Transfer, Vol. 17, No. 1, 2015, p. 107-119.

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

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

VL - 17

SP - 107

EP - 119

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

SN - 1433-2779

IS - 1

ER -

Testing abstract behavioral specifications

Access to Document

Fingerprint

Cite this