Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study

Work on automated test generation has produced several tools capable of generating test data which achieves high structural coverage over a program. In the absence of a specification, developers are expected to manually construct or verify the test oracle for each test input. Nevertheless, it is assumed that these generated tests ease the task of testing for the developer, as testing is reduced to checking the results of tests. While this assumption has persisted for decades, there has been no conclusive evidence to date confirming it. However, the limited adoption in industry indicates this assumption may not be correct, and calls into question the practical value of test generation tools. To investigate this issue, we performed two controlled experiments comparing a total of 97 subjects split between writing tests manually and writing tests with the aid of an automated unit test generation tool, EvoSuite. We found that, on one hand, tool support leads to clear improvements in commonly applied quality metrics such as code coverage (up to 300% increase). However, on the other hand, there was no measurable improvement in the number of bugs actually found by developers. Our results not only cast some doubt on how the research community evaluates test generation tools, but also point to improvements and future work necessary before automated test generation tools will be widely adopted by practitioners

Effect of Thickener Particle Geometry and Concentration on the Grease EHL Film Thickness at Medium Speeds

The aim of this paper was to understand the parameters influencing the grease film thickness in a rolling elastohydrodynamically lubricated contact under fully flooded conditions at medium speeds. Film thickness measurements were taken under pure rolling for six commercial greases and their bled oils. The grease film thickness was found to be higher than corresponding bled oil, suggesting the presence of thickener in the contact. No rheological properties (characterized by steady and dynamic shear) showed any direct relation to the film thickness of the studied greases. AFM measurements of the thickener microstructure, from which the dimensional properties of the thickener particles (fibers/platelets/spheres) were estimated, showed that the relative increase in the film thickness due to entrainment of the thickener was proportional to the ratio of thickener volume fraction to the size of the fibers/platelets/spheres. Hence, with the same concentration, smaller thickener particles lead to the generation of thicker films than larger thickener particles. Next, this relation was used to establish the percentage of the thickener particles passing through the contact. Depending on the grease type, between about 1 and 70 % of the thickener particles were found to travel through the contact

Verhaltenstherapeutische Behandlung eines Patienten mit beginnender Alzheimer-Demenz

The following case report shows a behavioral treatment of a 53-year-old Patient with Alzheimer's Disease (AD), The treatment includes procedures described in the Behavioral Competency Training (VKT) for patients with early-stage AD developed by Ehrhardt and associates. The program consists of about 20 weekly treatment sessions in which the patient's resources are activated and patient's coping is supported. The therapy and the intervention are debated in the light of the ongoing discussion about a state-of-the-art therapy for AD

Claw-free t-perfect graphs can be recognised in polynomial time

A graph is called t-perfect if its stable set polytope is defined by non-negativity, edge and odd-cycle inequalities. We show that it can be decided in polynomial time whether a given claw-free graph is t-perfect

Integrated Structure and Semantics for Reo Connectors and Petri Nets

In this paper, we present an integrated structural and behavioral model of Reo connectors and Petri nets, allowing a direct comparison of the two concurrency models. For this purpose, we introduce a notion of connectors which consist of a number of interconnected, user-defined primitives with fixed behavior. While the structure of connectors resembles hypergraphs, their semantics is given in terms of so-called port automata. We define both models in a categorical setting where composition operations can be elegantly defined and integrated. Specifically, we formalize structural gluings of connectors as pushouts, and joins of port automata as pullbacks. We then define a semantical functor from the connector to the port automata category which preserves this composition. We further show how to encode Reo connectors and Petri nets into this model and indicate applications to dynamic reconfigurations modeled using double pushout graph transformation

Specific fibroblast subpopulations and neuronal structures provide local sources of Vegfc-processing components during zebrafish lymphangiogenesis

Proteolytical processing of the growth factor VEGFC through the concerted activity of CCBE1 and ADAMTS3 is required for lymphatic development to occur. How these factors act together in time and space, and which cell types produce these factors is not understood. Here we assess the function of Adamts3 and the related protease Adamts14 during zebrafish lymphangiogenesis and show both proteins to be able to process Vegfc. Only the simultaneous loss of both protein functions results in lymphatic defects identical to vegfc loss-of-function situations. Cell transplantation experiments demonstrate neuronal structures and/or fibroblasts to constitute cellular sources not only for both proteases but also for Ccbe1 and Vegfc. We further show that this locally restricted Vegfc maturation is needed to trigger normal lymphatic sprouting and directional migration. Our data provide a single-cell resolution model for establishing secretion and processing hubs for Vegfc during developmental lymphangiogenesis