Petri net based test case generation for evolved specification.
https://doi.org/10.1007/s11432-016-5598-5
@article{DBLP:journals/chinaf/DingJCJZ16,
author = {Zuohua Ding and
Mingyue Jiang and
Haibo Chen and
Zhi Jin and
Mengchu Zhou},
title = {Petri net based test case generation for evolved specification},
journal = {Sci. China Inf. Sci.},
volume = {59},
number = {8},
pages = {080105:1--080105:25},
year = {2016},
url = {https://doi.org/10.1007/s11432-016-5598-5},
doi = {10.1007/s11432-016-5598-5},
timestamp = {Mon, 02 Mar 2020 16:31:01 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/DingJCJZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签