| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A constraint-based approach to the representation of software usage models
|
Poore, J.H.
|
|
2000
|
42 |
12 |
p. 825-833
9 p.
|
artikel
|
| 2 |
A Markov chain model for predicting the reliability of multi-build software
|
Whittaker, J.A
|
|
2000
|
42 |
12 |
p. 889-894
6 p.
|
artikel
|
| 3 |
Applying models in your testing process
|
Rosaria, S
|
|
2000
|
42 |
12 |
p. 815-824
10 p.
|
artikel
|
| 4 |
Improving a product with usage-based testing
|
Kouchakdjian, A
|
|
2000
|
42 |
12 |
p. 809-814
6 p.
|
artikel
|
| 5 |
Improving software quality using statistical testing techniques
|
Kelly, D.P.
|
|
2000
|
42 |
12 |
p. 801-807
7 p.
|
artikel
|
| 6 |
Introduction to the special issue on: model-based statistical testing of software intensive systems
|
Poore, J.H
|
|
2000
|
42 |
12 |
p. 797-799
3 p.
|
artikel
|
| 7 |
Measuring complexity and coverage of software specifications
|
Walton, G.H.
|
|
2000
|
42 |
12 |
p. 859-872
14 p.
|
artikel
|
| 8 |
Partition testing with usage models
|
Sayre, K
|
|
2000
|
42 |
12 |
p. 845-850
6 p.
|
artikel
|
| 9 |
Representation and optimization of software usage models with non-Markovian state transitions
|
Doerner, K.
|
|
2000
|
42 |
12 |
p. 873-887
15 p.
|
artikel
|
| 10 |
Stopping criteria for statistical testing
|
Sayre, K.
|
|
2000
|
42 |
12 |
p. 851-857
7 p.
|
artikel
|
| 11 |
TML: a description language for Markov chain usage models
|
Prowell, S.J
|
|
2000
|
42 |
12 |
p. 835-844
10 p.
|
artikel
|
Tijdschrift beschrijving