Testing abstract behavioral specifications

  1. Wong, P.Y.H.
  2. Bubel, R.
  3. de Boer, F.S.
  4. Gómez-Zamalloa, M.
  5. de Gouw, S.
  6. Hähnle, R.
  7. Meinke, K.
  8. Sindhu, M.A.
Zeitschrift:
International Journal on Software Tools for Technology Transfer

ISSN: 1433-2787 1433-2779

Datum der Publikation: 2014

Ausgabe: 17

Nummer: 1

Seiten: 107-119

Art: Artikel

DOI: 10.1007/S10009-014-0301-X GOOGLE SCHOLAR