%0 Journal Article %1 journals/stvr/SouzaSBSZ15 %A Souza, Simone R. S. %A Souza, Paulo S. L. %A Brito, Maria A. S. %A da Silva Simão, Adenilso %A Zaluska, Ed %D 2015 %J Softw. Test. Verification Reliab. %K dblp %N 3 %P 310-332 %T Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. %U http://dblp.uni-trier.de/db/journals/stvr/stvr25.html#SouzaSBSZ15 %V 25

@article{journals/stvr/SouzaSBSZ15, added-at = {2022-04-09T00:00:00.000+0200}, author = {Souza, Simone R. S. and Souza, Paulo S. L. and Brito, Maria A. S. and da Silva Simão, Adenilso and Zaluska, Ed}, biburl = {https://www.bibsonomy.org/bibtex/25a11a350f6600070489aeed91ef14fa6/dblp}, ee = {https://doi.org/10.1002/stvr.1568}, interhash = {f9c400f66f02eba0b983c01859b7f96e}, intrahash = {5a11a350f6600070489aeed91ef14fa6}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 3, pages = {310-332}, timestamp = {2024-04-09T07:36:50.000+0200}, title = {Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr25.html#SouzaSBSZ15}, volume = 25, year = 2015 }