APET: A test case generation tool for concurrent objects
- Albert, E.
- Arenas, P.
- Gómez-Zamalloa, M.
- Wong, P.Y.H.
Actas:
2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings
ISBN: 9781450322379
Año de publicación: 2013
Páginas: 595-598
Tipo: Aportación congreso