Investigating data-flow coverage of classes using evolutionary algorithms

It is not unusual for a software development organization to expend 40% of total project effort on testing, which call be a very laborious and time-consuming process. Therefore, there is a big necessity for test automation. This paper describes an approach to automatically generate test-data for 00 software exploiting a Genetic Algorithm (GA) to achieve high levels of data-flow (d-u) coverage. A proof-of-concept tool is presented. The experimental results from testing six Java classes helped us identify three categories of problematic test targets, and suggest that in the future full d-u coverage with a reasonable computational cost may be possible if we overcome these obstacles

Spectropolarimetry of the H-alpha line in Herbig Ae/Be stars

Using the HiVIS spectropolarimeter built for the Haleakala 3.7m AEOS telescope, we have obtained a large number of high precision spectropolarimetrc observations (284) of Herbig AeBe stars collected over 53 nights totaling more than 300 hours of observing. Our sample of five HAeBe stars: AB Aurigae, MWC480, MWC120, MWC158 and HD58647, all show systematic variations in the linear polarization amplitude and direction as a function of time and wavelength near the H-alpha line. In all our stars, the H-alpha line profiles show evidence of an intervening disk or outflowing wind, evidenced by strong emission with an absorptive component. The linear polarization varies by 0.2% to 1.5% with the change typically centered in the absorptive part of the line profile. These observations are inconsistent with a simple disk-scattering model or a depolarization model which produce polarization changes centered on the emmissive core. We speculate that polarized absorption via optical pumping of the intervening gas may be the cause.Comment: Accepted for publication in ApJ Letter

Proof of Luck: an Efficient Blockchain Consensus Protocol

In the paper, we present designs for multiple blockchain consensus primitives and a novel blockchain system, all based on the use of trusted execution environments (TEEs), such as Intel SGX-enabled CPUs. First, we show how using TEEs for existing proof of work schemes can make mining equitably distributed by preventing the use of ASICs. Next, we extend the design with proof of time and proof of ownership consensus primitives to make mining energy- and time-efficient. Further improving on these designs, we present a blockchain using a proof of luck consensus protocol. Our proof of luck blockchain uses a TEE platform's random number generation to choose a consensus leader, which offers low-latency transaction validation, deterministic confirmation time, negligible energy consumption, and equitably distributed mining. Lastly, we discuss a potential protection against up to a constant number of compromised TEEs.Comment: SysTEX '16, December 12-16, 2016, Trento, Ital

Theoretical and experimental investigation of supersonic aerodynamic characteristics of a twin-fuselage concept

A theoretical and experimental investigation has been conducted to evaluate the fundamental supersonic aerodynamic characteristics of a generic twin-body model at a Mach number of 2.70. Results show that existing aerodynamic prediction methods are adequate for making preliminary aerodynamic estimates

Comparison of Allen Carr's Easyway programme with a specialist behavioural and pharmacological smoking cessation support service: a randomized controlled trial.

BACKGROUND AND AIMS: A combination of behavioural and pharmacological support is judged to be the optimal approach for assisting smoking cessation. Allen Carr's Easyway (ACE) is a single-session pharmacotherapy-free programme that has been in operation internationally for 38 years. We compared the effectiveness of ACE with specialist behavioural and pharmacological support delivered to the national standard in England. DESIGN: A two-arm, parallel-group, single-blind, randomized controlled trial. SETTING: London, UK, between February 2017 and May 2018. PARTICIPANTS: A total of 620 participants (310 in ACE and 310 in the combined behavioural and pharmacological support condition) were included in the analysis. Adult (≥ 18 years) smokers wanting to quit were randomized in a 1 : 1 ratio. Mean age for the total sample was 40.8 years, with 53.4% being male. Participant baseline characteristics (ethnicity, educational level, number of previous quit attempts, nicotine dependence) were evenly balanced between treatment groups. INTERVENTION AND COMPARATOR: The intervention was the ACE method of stopping smoking. This centres on a 4.5-6-hour session of group-based support, alongside subsequent text messages and top-up sessions if needed. It aims to make it easy to stop smoking by convincing smokers that smoking provides no benefits for them. The comparator was a specialist stop smoking service (SSS) providing behavioural and pharmacological support in accordance with national standards. MEASUREMENTS: The primary outcome was self-reported continuous abstinence for 26 weeks from the quit/quit re-set date verified by exhaled breath carbon monoxide measurement < 10 parts per million (p.p.m.). Primary analysis was by intention to treat. Secondary outcomes were: use of pharmacotherapy, adverse events and continuous abstinence up to 4 and 12 weeks. FINDINGS: A total of 468 participants attended treatment (255 ACE versus 213 SSS, P < 0.05). Of those who did attend treatment, 100 completed 6-month measures (23.7% ACE versus 20.7% SSS). Continuous abstinence to 26 weeks was 19.4% (60 of 310) in the ACE intervention and 14.8% (46 of 310) in the SSS intervention [risk difference for ACE versus SSS 4.5% (95% confidence interval (CI) = -1.4 to 10.4%, odds ratio (OR) = 1.38)]. The Bayes factor for superiority of the ACE condition was 1.24. CONCLUSION: There was no clear evidence of a difference in the efficacies of the Allen Carr's Easyway (ACE) and specialist smoking cessation support involving behavioural support and pharmacotherapy

Exoplanet Transit Variability: Bow Shocks and Winds Around HD 189733b

By analogy with the solar system, it is believed that stellar winds will form bow shocks around exoplanets. For hot Jupiters the bow shock will not form directly between the planet and the star, causing an asymmetric distribution of mass around the exoplanet and hence an asymmetric transit. As the planet orbits thorough varying wind conditions, the strength and geometry of its bow shock will change, thus producing transits of varying shape. We model this process using magnetic maps of HD 189733 taken one year apart, coupled with a 3D stellar wind model, to determine the local stellar wind conditions throughout the orbital path of the planet. We predict the time-varying geometry and density of the bow shock that forms around the magnetosphere of the planet and simulate transit light curves. Depending on the nature of the stellar magnetic field, and hence its wind, we find that both the transit duration and ingress time can vary when compared to optical light curves. We conclude that consecutive near-UV transit light curves may vary significantly and can therefore provide an insight into the structure and evolution of the stellar wind.Comment: 9 Pages, 7 figures. Accepted for publication in Monthly Notices of The Royal Astronomical Societ

Pairing-excitation versus intruder states in 68Ni and 90Zr

A discussion on the nature of the 0+ states in 68Ni (Z=28, N=40) is presented and a comparison is made with its valence counterpart 90Zr (Z=40, N=50). Evidence is given for a 0+ proton intruder state at only ~2.2 MeV excitation energy in 68Ni, while the analogous neutron intruder states in 90Zr reside at 4126 keV and 5441 keV. The application of a shell-model description of 0+ intruder states reveals that many pair-scattered neutrons across N=40 have to be involved to explain the low excitation energy of the proton-intruder configuration in 68Ni.Comment: 10 pages, 2 figures, 1 tabl