Abstract | ||
---|---|---|
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 |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/ISSRE.2005.15 | ISSRE |
Keywords | Field | DocType |
covering transitions,model-based testing,program testing,concurrency control,non-determinism,queues,queueing theory,system specification,conclusive answer,concurrency,concurrent system,nondeterminism,concurrent systems,transition coverage,formal specification,formal verification,software testing,model based testing | Concurrency control,Concurrency,Computer science,Queue,Real-time computing,Formal specification,Model-based testing,Queueing theory,System requirements specification,Formal verification | Conference |
ISSN | ISBN | Citations |
1071-9458 | 0-7695-2482-6 | 6 |
PageRank | References | Authors |
0.50 | 15 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jiale Huo | 1 | 44 | 2.57 |
A. Petrenko | 2 | 565 | 31.37 |