-
811
-
812
-
813
Generating optimal distinguishing sequences with a model checker.
Veröffentlicht in Software engineering notes.Artikel -
814
The effect of code coverage on fault detection under different testing profiles.
Veröffentlicht in Software engineering notes.Artikel -
815
-
816
Software quality assurance through COSMIC FFP.
Veröffentlicht in Software engineering notes.Artikel -
817
Multipath routing in the presence of frequent topological changes.
Veröffentlicht in IEEE Communications magazineArtikel -
818
-
819
-
820