%0 Journal Article %1 journals/ijseke/GuoLSZ20 %A Guo, Junxia %A Li, Zheng %A Shi, CunFeng %A Zhao, Ruilian %D 2020 %J International Journal of Software Engineering and Knowledge Engineering %K dblp %N 1 %P 97-118 %T Thread Scheduling Sequence Generation Based on All Synchronization Pair Coverage Criteria. %U http://dblp.uni-trier.de/db/journals/ijseke/ijseke30.html#GuoLSZ20 %V 30

@article{journals/ijseke/GuoLSZ20, added-at = {2020-03-03T00:00:00.000+0100}, author = {Guo, Junxia and Li, Zheng and Shi, CunFeng and Zhao, Ruilian}, biburl = {https://www.bibsonomy.org/bibtex/293c7e3df85f1577c144e8d91f79f0669/dblp}, ee = {https://doi.org/10.1142/S0218194020500059}, interhash = {81aef44f9e247b16b82e1a459db29f4e}, intrahash = {93c7e3df85f1577c144e8d91f79f0669}, journal = {International Journal of Software Engineering and Knowledge Engineering}, keywords = {dblp}, number = 1, pages = {97-118}, timestamp = {2020-03-04T11:50:43.000+0100}, title = {Thread Scheduling Sequence Generation Based on All Synchronization Pair Coverage Criteria.}, url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke30.html#GuoLSZ20}, volume = 30, year = 2020 }