Xu, Dianxiang, and Junhua Ding. 2010. “Prioritizing state-based aspect tests”. 2010 Third International Conference on Software Testing, Verification and Validation, 265-74. Last updated on 07/19/2023