APET: A test case generation tool for concurrent objects
- Albert, E.
- Arenas, P.
- Gómez-Zamalloa, M.
- Wong, P.Y.H.
Proceedings:
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
Year of publication: 2013
Pages: 595-598
Type: Conference paper