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

Dianxiang Xu, Ning Shen

Browse the full SEKE paper archive.