LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems

Mutation testing is a well-studied method for increasing the quality of a test suite. We designed LittleDarwin as a mutation testing framework able to cope with large and complex Java software systems, while still being easily extensible with new experimental components. LittleDarwin addresses two existing problems in the domain of mutation testing: having a tool able to work within an industrial setting, and yet, be open to extension for cutting edge techniques provided by academia. LittleDarwin already offers higher-order mutation, null type mutants, mutant sampling, manual mutation, and mutant subsumption analysis. There is no tool today available with all these features that is able to work with typical industrial software systems.Comment: Pre-proceedings of the 7th IPM International Conference on Fundamentals of Software Engineerin

Partial Covering Arrays: Algorithms and Asymptotics

A covering array $\mathsf{CA}(N;t,k,v)$ is an $N\times k$ array with entries in $\{1, 2, \ldots , v\}$, for which every $N\times t$ subarray contains each $t$-tuple of $\{1, 2, \ldots , v\}^t$ among its rows. Covering arrays find application in interaction testing, including software and hardware testing, advanced materials development, and biological systems. A central question is to determine or bound $\mathsf{CAN}(t,k,v)$, the minimum number $N$ of rows of a $\mathsf{CA}(N;t,k,v)$. The well known bound $\mathsf{CAN}(t,k,v)=O((t-1)v^t\log k)$ is not too far from being asymptotically optimal. Sensible relaxations of the covering requirement arise when (1) the set $\{1, 2, \ldots , v\}^t$ need only be contained among the rows of at least $(1-\epsilon)\binom{k}{t}$ of the $N\times t$ subarrays and (2) the rows of every $N\times t$ subarray need only contain a (large) subset of $\{1, 2, \ldots , v\}^t$. In this paper, using probabilistic methods, significant improvements on the covering array upper bound are established for both relaxations, and for the conjunction of the two. In each case, a randomized algorithm constructs such arrays in expected polynomial time

Awe and Wonder in Scientific Practice: Implications for the Relationship Between Science and Religion

This paper examines the role of awe and wonder in scientific practice. Drawing on evidence from psychological research and the writings of scientists and science communicators, I argue that awe and wonder play a crucial role in scientific discovery. They focus our attention on the natural world, encourage open-mindedness, diminish the self (particularly feelings of self-importance), help to accord value to the objects that are being studied, and provide a mode of understanding in the absence of full knowledge. I will flesh out implications of the role of awe and wonder in scientific discovery for debates on the relationship between science and religion. Abraham Heschel argued that awe and wonder are religious emotions because they reduce our feelings of self-importance, and thereby help to cultivate the proper reverent attitude towards God. Yet metaphysical naturalists such as Richard Dawkins insist that awe and wonder need not lead to any theistic commitments for scientists. The awe some scientists experience can be regarded as a form of non-theistic spirituality, which is neither a reductive naturalism nor theism. I will attempt to resolve the tension between these views by identifying some common ground

Cavity Induced Interfacing of Atoms and Light

This chapter introduces cavity-based light-matter quantum interfaces, with a single atom or ion in strong coupling to a high-finesse optical cavity. We discuss the deterministic generation of indistinguishable single photons from these systems; the atom-photon entanglement intractably linked to this process; and the information encoding using spatio-temporal modes within these photons. Furthermore, we show how to establish a time-reversal of the aforementioned emission process to use a coupled atom-cavity system as a quantum memory. Along the line, we also discuss the performance and characterisation of cavity photons in elementary linear-optics arrangements with single beam splitters for quantum-homodyne measurements.Comment: to appear as a book chapter in a compilation "Engineering the Atom-Photon Interaction" published by Springer in 2015, edited by A. Predojevic and M. W. Mitchel

On-demand semiconductor single-photon source with near-unity indistinguishability

Single photon sources based on semiconductor quantum dots offer distinct advantages for quantum information, including a scalable solid-state platform, ultrabrightness, and interconnectivity with matter qubits. A key prerequisite for their use in optical quantum computing and solid-state networks is a high level of efficiency and indistinguishability. Pulsed resonance fluorescence (RF) has been anticipated as the optimum condition for the deterministic generation of high-quality photons with vanishing effects of dephasing. Here, we generate pulsed RF single photons on demand from a single, microcavity-embedded quantum dot under s-shell excitation with 3-ps laser pulses. The pi-pulse excited RF photons have less than 0.3% background contributions and a vanishing two-photon emission probability. Non-postselective Hong-Ou-Mandel interference between two successively emitted photons is observed with a visibility of 0.97(2), comparable to trapped atoms and ions. Two single photons are further used to implement a high-fidelity quantum controlled-NOT gate.Comment: 11 pages, 11 figure

Atmospheric Evolution

Earth's atmosphere has evolved as volatile species cycle between the atmosphere, ocean, biomass and the solid Earth. The geochemical, biological and astrophysical processes that control atmospheric evolution are reviewed from an "Earth Systems" perspective, with a view not only to understanding the history of Earth, but also to generalizing to other solar system planets and exoplanets.Comment: 34 pages, 3 figures, 2 tables. Accepted as a chapter in "Encyclopaedia of Geochemistry", Editor Bill White, Springer-Nature, 201

Neural correlates of sexual cue reactivity in individuals with and without compulsive sexual behaviours

Although compulsive sexual behaviour (CSB) has been conceptualized as a "behavioural" addiction and common or overlapping neural circuits may govern the processing of natural and drug rewards, little is known regarding the responses to sexually explicit materials in individuals with and without CSB. Here, the processing of cues of varying sexual content was assessed in individuals with and without CSB, focusing on neural regions identified in prior studies of drug-cue reactivity. 19 CSB subjects and 19 healthy volunteers were assessed using functional MRI comparing sexually explicit videos with non-sexual exciting videos. Ratings of sexual desire and liking were obtained. Relative to healthy volunteers, CSB subjects had greater desire but similar liking scores in response to the sexually explicit videos. Exposure to sexually explicit cues in CSB compared to non-CSB subjects was associated with activation of the dorsal anterior cingulate, ventral striatum and amygdala. Functional connectivity of the dorsal anterior cingulate-ventral striatum-amygdala network was associated with subjective sexual desire (but not liking) to a greater degree in CSB relative to non-CSB subjects. The dissociation between desire or wanting and liking is consistent with theories of incentive motivation underlying CSB as in drug addictions. Neural differences in the processing of sexual-cue reactivity were identified in CSB subjects in regions previously implicated in drug-cue reactivity studies. The greater engagement of corticostriatal limbic circuitry in CSB following exposure to sexual cues suggests neural mechanisms underlying CSB and potential biological targets for interventions

Ultrafast nonlocal control of spontaneous emission

Solid-state cavity quantum electrodynamics systems will form scalable nodes of future quantum networks, allowing the storage, processing and retrieval of quantum bits, where a real-time control of the radiative interaction in the cavity is required to achieve high efficiency. We demonstrate here the dynamic molding of the vacuum field in a coupled-cavity system to achieve the ultrafast nonlocal modulation of spontaneous emission of quantum dots in photonic crystal cavities, on a timescale of ~200 ps, much faster than their natural radiative lifetimes. This opens the way to the ultrafast control of semiconductor-based cavity quantum electrodynamics systems for application in quantum interfaces and to a new class of ultrafast lasers based on nano-photonic cavities.Comment: 15 pages, 4 figure

Do Null-Type Mutation Operators Help Prevent Null-Type Faults?

The null-type is a major source of faults in Java programs, and its overuse has a severe impact on software maintenance. Unfortunately traditional mutation testing operators do not cover null-type faults by default, hence cannot be used as a preventive measure. We address this problem by designing four new mutation operators which model null-type faults explicitly. We show how these mutation operators are capable of revealing the missing tests, and we demonstrate that these mutation operators are useful in practice. For the latter, we analyze the test suites of 15 open-source projects to describe the trade-offs related to the adoption of these operators to strengthen the test suite

BNP controls early load-dependent regulation of SERCA through calcineurin

Heart failure is characterised by reduced expression of sarcoplasmic reticulum calcium-ATPase (SERCA) and increased expression of B-type natriuretic peptide (BNP). The present study was performed to investigate causality of this inverse relationship under in vivo conditions in the transversal aortic constriction mouse model (TAC). Left ventricular SERCA-mRNA expression was significantly upregulated in TAC by 32% after 6 h, but not different from sham after 24 h. Serum proANP and BNP levels were increased in TAC after 24 h (BNP +274%, p < 0.01; proANP +60%, p < 0.05), but only proANP levels were increased after 6 h (+182%, p < 0.01). cGMP levels were only increased 24 h after TAC (+307%, p < 0.01), but not 6 h after TAC. BNP infusion inhibited the increase in SERCA expression 6 h after TAC. In BNP-receptor-knockout animals (GC-A), the expression of SERCA was still significantly increased 24 h after TAC at the mRNA level by 35% (p < 0.05), as well as at the protein level by 25% (p < 0.05). MCIP expression as an indicator of calcineurin activity was regulated in parallel to SERCA after 6 and 24 h. MCIP-mRNA was increased by 333% 6 h after TAC, but not significantly different from sham after 24 h. In the GC-A-KO mice, MCIP-mRNA was significantly increased in TAC compared to WT after 24 h. In mice with BNP infusion, MCIP was significantly lower 6 h after TAC compared to control animals. In conclusion, mechanical load leads to an upregulation of SERCA expression. This is followed by upregulation of natriuretic peptides with subsequent suppression of SERCA upregulation. Elevated natriuretic peptides may suppress SERCA expression by inhibition of calcineurin activity via activation of GC-A