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.
Revue:
International Journal on Software Tools for Technology Transfer

ISSN: 1433-2787 1433-2779

Année de publication: 2014

Volumen: 17

Número: 1

Pages: 107-119

Type: Article

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