Disruption of the circadian clock within the cardiomyocyte influences myocardial contractile function, metabolism, and gene expression

Virtually every mammalian cell, including cardiomyocytes, possesses an intrinsic circadian clock. The role of this transcriptionally based molecular mechanism in cardiovascular biology is poorly understood. We hypothesized that the circadian clock within the cardiomyocyte influences diurnal variations in myocardial biology. We, therefore, generated a cardiomyocyte-specific circadian clock mutant (CCM) mouse to test this hypothesis. At 12 wk of age, CCM mice exhibit normal myocardial contractile function in vivo, as assessed by echocardiography. Radiotelemetry studies reveal attenuation of heart rate diurnal variations and bradycardia in CCM mice (in the absence of conduction system abnormalities). Reduced heart rate persisted in CCM hearts perfused ex vivo in the working mode, highlighting the intrinsic nature of this phenotype. Wild-type, but not CCM, hearts exhibited a marked diurnal variation in responsiveness to an elevation in workload (80 mmHg plus 1 mu M epinephrine) ex vivo, with a greater increase in cardiac power and efficiency during the dark (active) phase vs. the light (inactive) phase. Moreover, myocardial oxygen consumption and fatty acid oxidation rates were increased, whereas cardiac efficiency was decreased, in CCM hearts. These observations were associated with no alterations in mitochondrial content or structure and modest mitochondrial dysfunction in CCM hearts. Gene expression microarray analysis identified 548 and 176 genes in atria and ventricles, respectively, whose normal diurnal expression patterns were altered in CCM mice. These studies suggest that the cardiomyocyte circadian clock influences myocardial contractile function, metabolism, and gene expression.

Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.