Petri net based test case generation for evolved specification
Crossref DOI link: https://doi.org/10.1007/s11432-016-5598-5
Published Online: 2016-07-18
Published Print: 2016-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ding, Zuohua
Jiang, Mingyue
Chen, Haibo
Jin, Zhi
Zhou, Mengchu
License valid from 2016-07-18