Cause reduction for quick testing

pre-printAbstract-In random testing, it is often desirable to produce a "quick test" - an extremely inexpensive test suite that can serve as a frequently applied regression and allow the benefits of random testing to be obtained even in very slow or oversubscribed test environments. Delta debugging is an algorithm that, given a failing test case, produces a smaller test case that also fails, and typically executes much more quickly. Delta debugging of random tests can produce effective regression suites for previously detected faults, but such suites often have little power for detecting new faults, and in some cases provide poor code coverage. This paper proposes extending delta debugging by simplifying tests with respect to code coverage, an instance of a generalization of delta debugging we call cause reduction. We show that test suites reduced in this fashion can provide very effective quick tests for real-world programs. For Mozilla's SpiderMonkey JavaScript engine, the reduced suite is more effective for finding software faults, even if its reduced runtime is not considered. The effectiveness of a reduction-based quick test persists through major changes to the software under test

Primary Coenzyme Q10 Deficiency

open4siCLINICAL CHARACTERISTICS: Primary coenzyme Q10 (CoQ10) deficiency is usually associated with multisystem involvement, including neurologic manifestations such as fatal neonatal encephalopathy with hypotonia; a late-onset slowly progressive multiple-system atrophy-like phenotype (neurodegeneration with autonomic failure and various combinations of parkinsonism and cerebellar ataxia, and pyramidal dysfunction); and dystonia, spasticity, seizures, and intellectual disability. Steroid-resistant nephrotic syndrome (SRNS), the hallmark renal manifestation, is often the initial manifestation either as isolated renal involvement that progresses to end-stage renal disease (ESRD), or associated with encephalopathy (seizures, stroke-like episodes, severe neurologic impairment) resulting in early death. Hypertrophic cardiomyopathy (HCM), retinopathy or optic atrophy, and sensorineural hearing loss can also be seen. DIAGNOSIS/TESTING: The diagnosis of primary CoQ10 deficiency in a proband is established by identification of biallelic pathogenic variants in one of the nine genes encoding proteins directly involved in the synthesis of coenzyme Q10 or by detection of reduced levels of CoQ10 (ubiquinone) in skeletal muscle or reduced activities of complex I+III and II+III of the mitochondrial respiratory chain on frozen muscle homogenates. MANAGEMENT: Treatment of manifestations: In individuals with primary CoQ10 deficiency early treatment with high-dose oral CoQ10 supplementation (ranging from 5 to 50 mg/kg/day) can limit disease progression and reverse some manifestations; however, established severe neurologic and/or renal damage cannot be reversed. ACE inhibitors may be used in combination with CoQ10 supplementation in persons with proteinuria; renal transplantation is an option for those with ESRD. Treatment of hypertrophic cardiomyopathy, retinopathy, and sensorineural hearing loss is per usual practice. Prevention of primary manifestations: Supplementation with high-dose oral CoQ10 can prevent progression of the renal disease and onset of neurologic manifestations. Surveillance: Periodic neurologic evaluation, urine analysis (for proteinuria) and renal function tests, ophthalmologic evaluation, and audiometry. Evaluation of relatives at risk: Presymptomatic diagnosis for the purpose of early treatment with CoQ10 supplementation is warranted for relatives at risk. GENETIC COUNSELING: Primary coenzyme Q10 deficiency is inherited in an autosomal recessive manner. At conception, each sib of an affected individual has a 25% chance of being affected, a 50% chance of being an asymptomatic carrier, and a 25% chance of being unaffected and not a carrier. Carrier testing for at-risk relatives, prenatal testing for pregnancies at increased risk, and preimplantation genetic diagnosis are possible if the pathogenic variants in a family are known.openSalviati, L; Trevisson, E; Doimo, M; Navas, PSalviati, Leonardo; Trevisson, Eva; Doimo, Mara; Navas, P

Retention and application of Skylab experiences to future programs

The problems encountered and special techniques and procedures developed on the Skylab program are described along with the experiences and practical benefits obtained for dissemination and use on future programs. Three major topics are discussed: electrical problems, mechanical problems, and special techniques. Special techniques and procedures are identified that were either developed or refined during the Skylab program. These techniques and procedures came from all manufacturing and test phases of the Skylab program and include both flight and GSE items from component level to sophisticated spaceflight systems

APHRODITE: an Anomaly-based Architecture for False Positive Reduction

We present APHRODITE, an architecture designed to reduce false positives in network intrusion detection systems. APHRODITE works by detecting anomalies in the output traffic, and by correlating them with the alerts raised by the NIDS working on the input traffic. Benchmarks show a substantial reduction of false positives and that APHRODITE is effective also after a "quick setup", i.e. in the realistic case in which it has not been "trained" and set up optimall

The Design and Operation of The Keck Observatory Archive

The Infrared Processing and Analysis Center (IPAC) and the W. M. Keck Observatory (WMKO) operate an archive for the Keck Observatory. At the end of 2013, KOA completed the ingestion of data from all eight active observatory instruments. KOA will continue to ingest all newly obtained observations, at an anticipated volume of 4 TB per year. The data are transmitted electronically from WMKO to IPAC for storage and curation. Access to data is governed by a data use policy, and approximately two-thirds of the data in the archive are public.Comment: 12 pages, 4 figs, 4 tables. Presented at Software and Cyberinfrastructure for Astronomy III, SPIE Astronomical Telescopes + Instrumentation 2014. June 2014, Montreal, Canad

Experimental investigation into amplitude-dependent modal properties of an eleven-span motorway bridge

The authors would like to thank their supporters. New Zealand Earthquake Commission (EQC) Research Foundation provided financial support for experimental work (Grant No. UNI/578). New Zealand Transport Agency (NZTA) provided access to the bridge. Piotr Omenzetter’s work within the LRF Centre for Safety and Reliability Engineering at the University of Aberdeen is supported by Lloyd’s Register Foundation. The Foundation helps to protect life and property by supporting engineering-related education, public engagement and the application of research. Ge-Wei Chen’s doctoral study is supported by China Scholarship Council (CSC) (Grant No. 2011637065).Peer reviewe