Miguel Gómez-Zamalloa

◀ ▷ joint publications with Peter Y. H. Wong

> Home > Persons > Miguel Gómez-Zamalloa

Publications

2015
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/WongBBGGHMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/WongBBGGHMS15
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:
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17(1): 107-119 (2015)
2013
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AlbertAGW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AlbertAGW13
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong:
aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE 2013: 595-598

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.