"Effectiveness of Automated Function Testing with Petri Nets: A Series of ..."

Dianxiang Xu, Ning Shen (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics