Abstract | ||
---|---|---|
Conclusion The proposed algorithm mitigates the state explosion problem which usually occurs when queues are directly involved in the composition. Experimental results confirm the resulting state space reduction. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.infsof.2011.06.006 | Information and Software Technology |
Keywords | Field | DocType |
Input/output transition system,Test purpose,Test case generation,Asynchronous testing,Distributed testing | Transition system,Asynchronous communication,Data mining,Computer science,Queue,Implementation under test,Distributed testing,Test case,State space reduction,Distortion,Computer engineering,Distributed computing | Journal |
Volume | Issue | ISSN |
53 | 11 | 0950-5849 |
Citations | PageRank | References |
17 | 0.69 | 15 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
adenilso simao | 1 | 151 | 11.29 |
A. Petrenko | 2 | 565 | 31.37 |