Disposable Testing: Avoiding Maintenance of Generated Unit Tests by Throwing Them Away

Developers write unit tests together with program code, and then maintain these tests as the program evolves. Since writing good tests can be difficult and tedious, unit tests can so be generated automatically. However, maintaining these tests(e.g., when APIs change, or, when tests represent outdated and changed behavior), is still a manual task. Because automatically generated tests may have no clear purpose other than covering code, maintaining them may be more difficult than maintaining manually written tests. Could this maintenance be avoided by simply generating new tests after each change, and disposing the old ones? We propose disposable testing: Tests are generated to reveal any behavioral differences caused by a code change, and are thrown away once the developer confirms whether these changes were intended or not. However, this idea raises several research challenges: First, are standard automated test generation techniques good enough to produce tests that may berelied upon to reveal changes as effectively as an incrementally built regression test suite? Second, does disposable testing reduce the overall effort, or would developers need to inspect more generated tests compared to just maintaining existing ones

κ−(BEDT−TTF)2X\kappa-(BEDT-TTF)_2X organic crystals: superconducting versus antiferromagnetic instabilities in an anisotropic triangular lattice Hubbard model

A Hubbard model at half-filling on an anisotropic triangular lattice has been proposed as the minimal model to describe conducting layers of $\kappa-(BEDT-TTF)_2X$ organic materials. The model interpolates between the square lattice and decoupled chains. The $\kappa-(BEDT-TTF)_2X$ materials present many similarities with cuprates, such as the presence of unconventional metallic properties and the close proximity of superconducting and antiferromagnetic phases. As in the cuprates, spin fluctuations are expected to play a crucial role in the onset of superconductivity. We perform a weak-coupling renormalization-group analysis to show that a superconducting instability occurs. Frustration in the antiferromagnetic couplings, which arises from the underlying geometrical arrangement of the lattice, breaks the perfect nesting of the square lattice at half-filling. The spin-wave instability is suppressed and a superconducting instability predominates. For the isotropic triangular lattice, there are again signs of long-range magnetic order, in agreement with studies at strong-coupling.Comment: 4 pages, 5 eps figs, to appear in Can. J. Phys. (proceedings of the Highly Frustrated Magnetism (HFM-2000) conference, Waterloo, Canada, June 2000

Timing of insemination and fertility in dairy and beef cattle receiving timed artificial insemination using sex-sorted sperm

AbstractThe objective was to evaluate the effects of timing of insemination and type of semen in cattle subjected to timed artificial insemination (TAI). In Experiment 1, 420 cyclic Jersey heifers were bred at either 54 or 60 h after P4-device removal, using either sex-sorted (2.1 × 106 sperm/straw) or non-sorted sperm (20 × 106 sperm/straw) from three sires (2 × 2 factorial design). There was an interaction (P = 0.06) between time of AI and type of semen on pregnancy per AI (P/AI, at 30 to 42 d after TAI); it was greater when sex-sorted sperm (P < 0.01) was used at 60 h (31.4%; 32/102) than at 54 h (16.2%; 17/105). In contrast, altering the timing of AI did not affect conception results with non-sorted sperm (54 h = 50.5%; 51/101 versus 60 h = 51.8%; 58/112; P = 0.95). There was an effect of sire (P < 0.01) on P/AI, but no interaction between sire and time of AI (P = 0.88). In Experiment 2, 389 suckled Bos indicus beef cows were enrolled in the same treatment groups used in Experiment 1. Sex-sorted sperm resulted in lower P/AI (41.8%; 82/196; P = 0.05) than non-sorted sperm (51.8%; 100/193). In addition, there was a tendency for greater P/AI (P = 0.11) when TAI was performed 60 h (50.8%; 99/195) versus 54 h (42.8%; 83/194) after removing the progestin implant. In Experiment 3, 339 suckled B. indicus cows were randomly assigned to receive TAI with sex-sorted sperm at 36, 48, or 60 h after P4 device removal. Ultrasonographic examinations were performed twice daily in all cows to confirm ovulation. On average, ovulation occured 71.8 ± 7.8 h after P4 removal, and greater P/AI was achieved when insemination was performed closer to ovulation. The P/AI was greatest (37.9%) for TAI performed between 0 and 12 h before ovulation, whereas P/AI was significantly less for TAI performed between 12.1 and 24 h (19.4%) or >24 h (5.8%) before ovulation. In conclusion, sex-sorted sperm resulted in a lesser P/AI than non-sorted sperm following TAI. However, improvements in P/AI with delayed time of AI were possible (Experiments 1 and 3), and seemed achievable when breeding at 60 h following progestin implant removal, compared to the standard 54 h normally used in TAI protocols

On the physico-mechanical, electrical and dielectric properties of mullite-glass composites

Mullite-glass composites were obtained by solid-state reactive sintering of kaolinite clay and kaolin waste mixtures with waste additions up to 100 wt%. The structural and microstructural analysis of starting powders and sintered samples were evaluated by X-ray diffractometry (XRD) and field-emission scanning electron microscopy (FESEM). The mechanical properties were evaluated by measuring the flexural strength of sintered bodies. Electrical properties of the composites were assessed by impedance spectroscopy (at 30 °C and from 400 to 700 °C) in air. A viscous flux mechanism resulting from the glassy phase filled up the open porosity and increased the mechanical strength. Electrical conductivity, dielectric constant and dielectric loss were strongly dependent on the microstructural features, namely glassy phase and porosity. The activation energies (0.89–0.99 eV) for electrical conduction were lower than typical literature values of mullite-based materials. The results indicated that the herein synthesized mullite-glass composites with up to 53.6 wt% mullite are promising low-cost materials for electronics-related applications.publishe

Constructing Self-Dual Strings

We present an ADHMN-like construction which generates self-dual string solutions to the effective M5-brane worldvolume theory from solutions to the Basu-Harvey equation. Our construction finds a natural interpretation in terms of gerbes, which we develop in some detail. We also comment on a possible extension to stacks of multiple M5-branes.Comment: 1+19 pages, presentation improved, minor corrections, published versio

Structure and Mechanism of Dimer-Monomer Transition of a Plant Poly(A)-Binding Protein upon RNA Interaction: Insights into Its Poly(A) Tail Assembly

Poly(A)-binding proteins (PABPs) play crucial roles in mRNA biogenesis, stability, transport and translational control in most eukaryotic cells. Although animal PABPs are well-studied proteins, the biological role, three-dimensional structure and RNA-binding mode of plant PABPs remain largely uncharacterized. Here, we report the structural features and RNA-binding mode of a Citrus sinensis PABP (CsPABPN1). CsPABPN1 has a domain architecture of nuclear PABPs (PABPNs) with a single RNA recognition motif (RRM) flanked by an acidic N-terminus and a GRPF-rich C-terminus. The RRM domain of CsPABPN1 displays virtually the same three-dimensional structure and poly(A)-binding mode of animal PABPNs. However, while the CsPABPN1 RRM domain specifically binds poly(A), the full-length protein also binds poly(U). CsPABPN1 localizes to the nucleus of plant cells and undergoes a dimer–monomer transition upon poly(A) interaction. We show that poly(A) binding by CsPABPN1 begins with the recognition of the RNA-binding sites RNP1 and RNP2, followed by interactions with residues of the β2 strands, which stabilize the dimer, thus leading to dimer dissociation. Like human PABPN1, CsPABPN1 also seems to form filaments in the presence of poly(A). Based on these data, we propose a structural model in which contiguous CsPABPN1 RRM monomers wrap around the RNA molecule creating a superhelical structure that could not only shield the poly(A) tail but also serve as a scaffold for the assembly of additional mRNA processing factors

The Shapes of Dirichlet Defects

If the vacuum manifold of a field theory has the appropriate topological structure, the theory admits topological structures analogous to the D-branes of string theory, in which defects of one dimension terminate on other defects of higher dimension. The shapes of such defects are analyzed numerically, with special attention paid to the intersection regions. Walls (co-dimension 1 branes) terminating on other walls, global strings (co-dimension 2 branes) and local strings (including gauge fields) terminating on walls are all considered. Connections to supersymmetric field theories, string theory and condensed matter systems are pointed out.Comment: 24 pages, RevTeX, 21 eps figure

Basal body stability and ciliogenesis requires the conserved component Poc1

Centrioles are the foundation for centrosome and cilia formation. The biogenesis of centrioles is initiated by an assembly mechanism that first synthesizes the ninefold symmetrical cartwheel and subsequently leads to a stable cylindrical microtubule scaffold that is capable of withstanding microtubule-based forces generated by centrosomes and cilia. We report that the conserved WD40 repeat domain–containing cartwheel protein Poc1 is required for the structural maintenance of centrioles in Tetrahymena thermophila. Furthermore, human Poc1B is required for primary ciliogenesis, and in zebrafish, DrPoc1B knockdown causes ciliary defects and morphological phenotypes consistent with human ciliopathies. T. thermophila Poc1 exhibits a protein incorporation profile commonly associated with structural centriole components in which the majority of Poc1 is stably incorporated during new centriole assembly. A second dynamic population assembles throughout the cell cycle. Our experiments identify novel roles for Poc1 in centriole stability and ciliogenesis