Covering Transitions of Concurrent Systems through Queues
Jiale Huo, Alexandre Petrenko · 2006
By testing a concurrent system through queues, we seek a conclusive answer to whether a given transition of the specification of the system is executed. We define transition coverage through queues and find testing strategies to cover the transition in question with and without fairness, respectively.