loading...
Covering Transitions of Concurrent Systems through Queues
Chicago, Illinois November 08-November 11
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.1516th IEEE International Symposium on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Jiale Huo, Alexandre Petrenko, "Covering Transitions of Concurrent Systems through Queues," Software Reliability Engineering, International Symposium on, pp. 335-345, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ISSRE.2005.15,
author = {Jiale Huo and Alexandre Petrenko},
title = {Covering Transitions of Concurrent Systems through Queues},
journal ={Software Reliability Engineering, International Symposium on},
volume = {0},
year = {2005},
issn = {1071-9458},
pages = {335-345},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.15},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Reliability Engineering, International Symposium on
TI - Covering Transitions of Concurrent Systems through Queues
SN - 1071-9458
SP335
EP345
A1 - Jiale Huo,
A1 - Alexandre Petrenko,
PY - 2005
KW - model-based testing
KW - transition coverage
KW - concurrency
KW - non-determinism
VL - 0
JA - Software Reliability Engineering, International Symposium on
ER -
 
Jiale Huo, McGill University
Alexandre Petrenko, Centre de recherche informatique de Montr?al (CRIM)
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.
Index Terms:
model-based testing, transition coverage, concurrency, non-determinism
Citation:
Jiale Huo, Alexandre Petrenko, "Covering Transitions of Concurrent Systems through Queues," issre, pp.335-345, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.