Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs.
Simone R. S. SouzaPaulo S. L. SouzaMaria A. S. BritoAdenilso da Silva SimãoEd ZaluskaPublished in: Softw. Test. Verification Reliab. (2015)