SYCO: A systematic testing tool for concurrent objects

  1. Albert, E.
  2. Gómez-Zamalloa, M.
  3. Isabel, M.
Actas:
Proceedings of CC 2016: The 25th International Conference on Compiler Construction

ISBN: 9781450342414

Año de publicación: 2016

Páginas: 269-270

Tipo: Aportación congreso

DOI: 10.1145/2892208.2892236 GOOGLE SCHOLAR