Hassan Reza, Scott D. Kerlin. A Model-Based Testing Using Scenarios and Constraints-based Modular Petri Nets. In Eighth International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, USA, 11-13 April 2011. pages 568-573, IEEE Computer Society, 2011. [doi]
Abstract is missing.