| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A formal approach to property testing in causally consistent distributed traces
|
Hallal, H. H.
|
|
|
18 |
1 |
p. 63-83
|
article
|
| 2 |
A formal approach to property testing in causally consistent distributed traces
|
Hallal, H. H.
|
|
2006
|
18 |
1 |
p. 63-83
|
article
|
| 3 |
Constructing checking sequences for distributed testing
|
Ural, Hasan
|
|
|
18 |
1 |
p. 84-101
|
article
|
| 4 |
Constructing checking sequences for distributed testing
|
Ural, Hasan
|
|
2006
|
18 |
1 |
p. 84-101
|
article
|
| 5 |
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
|
Vilkomir, Sergiy A.
|
|
|
18 |
1 |
p. 42-62
|
article
|
| 6 |
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
|
Vilkomir, Sergiy A.
|
|
2006
|
18 |
1 |
p. 42-62
|
article
|
| 7 |
Guest Editorial
|
Derrick, J.
|
|
|
18 |
1 |
p. 1-2
|
article
|
| 8 |
Guest Editorial
|
Derrick, J.
|
|
2006
|
18 |
1 |
p. 1-2
|
article
|
| 9 |
Simulation testing of automata
|
Stannett, Mike
|
|
|
18 |
1 |
p. 31-41
|
article
|
| 10 |
Simulation testing of automata
|
Stannett, Mike
|
|
2006
|
18 |
1 |
p. 31-41
|
article
|
| 11 |
Testing methods for X-machines: a review
|
Bogdanov, K.
|
|
|
18 |
1 |
p. 3-30
|
article
|
| 12 |
Testing methods for X-machines: a review
|
Bogdanov, K.
|
|
2006
|
18 |
1 |
p. 3-30
|
article
|
Journal description