Petri net based test case generation for evolved specification

Zuohua Ding, Mingyue Jiang, Haibo Chen, Zhi Jin, MengChu Zhou. Petri net based test case generation for evolved specification. Science in China Series F: Information Sciences, 59(8), 2016. [doi]

Abstract

Abstract is missing.