1. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. (9th February 2015) Authors: Souza, S. R. S.; Souza, P. S. L.; Brito, M. A. S.; Simao, A. S.; Zaluska, E. J.; Farchi, Eitan; Hierons, Robert M.; Lourenço, João Journal: Software testing, verification & reliability Issue: Volume 25:Number 3(2015:Jul.) Page Start: 310 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗