-
1
-
2
-
3
-
4
Computing system reliability using Markov chain usage models
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
5
The impact of requirements changes on specifications and state machines
Veröffentlicht in Software, practice & experience
VolltextArtikel -
6
Foundations of sequence-based software specification
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
7
-
8
-
9
-
10
-
11
Stopping criteria for statistical testing
Veröffentlicht in Information and software technology
VolltextArtikel -
12
-
13
-
14
Markov analysis of software specifications
Veröffentlicht in ACM transactions on software engineering and methodology
VolltextArtikel -
15
-
16
Love, desire, and the suppression of thoughts of romantic alternatives
Veröffentlicht in Evolution and human behavior
VolltextArtikel -
17
Partition testing with usage models
Veröffentlicht in Information and software technology
VolltextArtikel -
18
Measuring complexity and coverage of software specifications
Veröffentlicht in Information and software technology
VolltextArtikel -
19
An axiom system for sequence-based specification
Veröffentlicht in Theoretical computer science
VolltextArtikel -
20
Planning and certifying software system reliability
Veröffentlicht in IEEE software
VolltextArtikel