Dianxiang Xu, Ning Shen. Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments. In Marek Reformat, editor, The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013. pages 211-216, Knowledge Systems Institute Graduate School, 2014.
Abstract is missing.