in the case of the singlet P states of the atom. That this sub-hydrogenic character appears in the molecule for a D instead of for a P term as in the atom, may prove instructive in determining the cause of this hitherto unexplained type of deviation from the Balmer formula. The various electron levels and transitions now known for the He2 molecule are shown in the form of an energy-level diagra...

Wir analysieren die Effizienz des zufälligen und systematischen Ansatzes zum automatischen Programmtesten. Dabei nutzen wir wenige, einfache, jedoch realistische Annahmen um ein generelles probabilistisches Modell für das Softwaretesten zu entwickeln. Die zwei wichtigsten Ziele des automatischen Softwaretestens sind (i) in minimaler Zeit mit einem gewissen Zuversichtsgrad x festzustellen, daß d...