APET: A test case generation tool for concurrent objects
- Albert, E.
- Arenas, P.
- Gómez-Zamalloa, M.
- Wong, P.Y.H.
Actes:
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
Any de publicació: 2013
Pàgines: 595-598
Tipus: Aportació congrés