%0 Journal Article %1 journals/chinaf/DingJCJZ16 %A Ding, Zuohua %A Jiang, Mingyue %A Chen, Haibo %A Jin, Zhi %A Zhou, Mengchu %D 2016 %J Sci. China Inf. Sci. %K dblp %N 8 %P 080105:1-080105:25 %T Petri net based test case generation for evolved specification. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf59.html#DingJCJZ16 %V 59

@article{journals/chinaf/DingJCJZ16, added-at = {2020-03-02T00:00:00.000+0100}, author = {Ding, Zuohua and Jiang, Mingyue and Chen, Haibo and Jin, Zhi and Zhou, Mengchu}, biburl = {https://www.bibsonomy.org/bibtex/2f02b05e191204facf310c9fcd1e8d476/dblp}, ee = {https://doi.org/10.1007/s11432-016-5598-5}, interhash = {872a757e6147ffd42bf432ee31b0670c}, intrahash = {f02b05e191204facf310c9fcd1e8d476}, journal = {Sci. China Inf. Sci.}, keywords = {dblp}, number = 8, pages = {080105:1-080105:25}, timestamp = {2020-03-03T11:53:54.000+0100}, title = {Petri net based test case generation for evolved specification.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf59.html#DingJCJZ16}, volume = 59, year = 2016 }