5

Special Track on Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT)
N/A
Jeremy S. Bradbury, Eitan Farchi, João M. Lourenço
Posted Apr 13, 2015
Cite
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC …
Kerstin Eder, João Lourenҫo, Onn Shehory
Posted Jan 1, 2012
Cite Link
PADTAD'10: Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
N/A
João M. Lourenço, Eitan Farchi, Shmuel Ur
Posted Jul 13, 2010
Cite Link