For half a decade model-based testing has been applied at Microsoft in the internal development process. Though a success story compared to other formal quality assurance approaches like verification, a break-through of the technology on a broader scale is not in sight. What are the obstacles? This paper describes the application of MBT at Microsoft, discusses the problems in the adoption, and ...

Transcripts from the Xenopus gene GS17 are absent from oocytes and first appear at the midblastula transition (MBT), about 8 hr after fertilization. Injection experiments with deletions of the GS17 gene and GS17-beta-globin hybrid genes show that a relatively short sequence of 74 base pairs is sufficient to activate, in cis, transcription at the MBT. This 74-base sequence is located about 700 b...

MnBi$_2$Te$_4$ (MBT) materials are promising antiferromagnetic topological insulators where field driven ferromagnetism is predicted to cause a transition between axion insulator and Weyl semimetallic states. However, the presence of coupling Mn/Bi antisite defects main Mn layer can reduce low-field magnetization, it has been shown that such more prevalent in structurally identical trivial magn...

We examined the contribution of S phase in timing cell cycle progression during Drosophila embryogenesis using an approach that deletes S phase rather than arresting its progress. Injection of Drosophila Geminin, an inhibitor of replication licensing, prevented subsequent replication so that the following mitosis occurred with uninemic chromosomes, which failed to align. The effect of S phase d...

MnBi$_2$Te$_4$ (MBT) is a promising antiferromagnetic topological insulator whose films provide access to novel and technologically important phases, including quantum anomalous Hall states axion insulators. MBT device behavior expected be sensitive the various collinear non-collinear magnetic phases that are accessible in applied fields. Here, we use classical Monte Carlo simulations electroni...

This dissertation devotes to the question whether the established technique of model based testing (MBT) can be applied to a special type of software component systems called dynamic component systems (DCSs). DCSs have the special characteristic that they support the change of component instance compositions during runtime of the system. In these systems, each component instance exhibits an own...

We investigate a class of emerging online marketing challenges in social networks; macro behavioral targeting (MBT) is introduced as non-personalized broadcasting efforts to massive populations. We propose a new probabilistic graphical model for MBT. Further, a linear-time approximation method is proposed to circumvent an intractable parametric representation of user behaviors. We compare the p...