Coyote C++: An Industrial-Strength Fully Automated Unit Testing Tool

Coyote C++ is an automated testing tool that uses a sophisticated concolic-execution-based approach to realize fully automated unit testing for C and C++. While concolic testing has proven effective for languages such as C and Java, tools have struggled to achieve a practical level of automation for C++ due to its many syntactical intricacies and overall complexity. Coyote C++ is the first automated testing tool to breach the barrier and bring automated unit testing for C++ to a practical level suitable for industrial adoption, consistently reaching around 90% code coverage. Notably, this testing process requires no user involvement and performs test harness generation, test case generation and test execution with "one-click" automation. In this paper, we introduce Coyote C++ by outlining its high-level structure and discussing the core design decisions that shaped the implementation of its concolic execution engine. Finally, we demonstrate that Coyote C++ is capable of achieving high coverage results within a reasonable timespan by presenting the results from experiments on both open-source and industrial software

On-Board Traffic Prediction for Connected Vehicles: Implementation and Experiments on Highways

An on-board traffic prediction algorithm is pro- posed for connected vehicles traveling on highways. The pre- diction is based on data received from other connected vehicles ahead in the traffic stream, leveraging the fact that a vehicle will enter the traffic that other vehicles ahead have already met. Our method includes traffic state estimation with Kalman filter and prediction via traffic flow models describing the propagation of congestion waves. The end result is an individualized speed preview in real time up to about half a minute for the connected vehicle executing prediction. Most importantly, the traffic prediction was successfully implemented on board of a real vehicle and predictions were tested in real traffic with experiments involving connected human-driven vehicles

Gene-based copy number variation study reveals a microdeletion at 12q24 that influences height in the Korean population

AbstractHeight is a classic polygenic trait with high heritability (h2=0.8). Recent genome-wide association studies have revealed many independent loci associated with human height. In addition, although many studies have reported an association between copy number variation (CNV) and complex diseases, few have explored the relationship between CNV and height. Recent studies reported that single nucleotide polymorphisms (SNPs) are highly correlated with common CNVs, suggesting that it is warranted to survey CNVs to identify additional genetic factors affecting heritable traits such as height.This study tested the hypothesis that there would be CNV regions (CNVRs) associated with height nearby genes from the GWASs known to affect height. We identified regions containing >1% copy number deletion frequency from 3667 population-based cohort samples using the Illumina HumanOmni1-Quad BeadChip. Among the identified CNVRs, we selected 15 candidate regions that were located within 1Mb of 283 previously reported genes. To assess the effect of these CNVRs on height, statistical analyses were conducted with samples from a case group of 370 taller (upper 10%) individuals and a control group of 1828 individuals (lower 50%).We found that a newly identified 17.7kb deletion at chromosomal position 12q24.33, approximately 171.6kb downstream of GPR133, significantly correlated with height; this finding was validated using quantitative PCR. These results suggest that CNVs are potentially important in determining height and may contribute to height variation in human populations

Correction to: Failure to maintain full-term pregnancies in pig carrying klotho monoallelic knockout fetuses

An amendment to this paper has been published and can be accessed via the original article

A framework for nationwide COVID-19 vaccine safety research in the Republic of Korea: the COVID-19 Vaccine Safety Research Committee

With the introduction of coronavirus disease 2019 (COVID-19) vaccines, the Korea Disease Control and Prevention Agency (KDCA) commissioned the National Academy of Medicine of Korea to gather experts to independently assess post-vaccination adverse events. Accordingly, the COVID-19 Vaccine Safety Research Committee (CoVaSC) was launched in November 2021 to perform safety studies and establish evidence for policy guidance. The CoVaSC established 3 committees for epidemiology, clinical research, and communication. The CoVaSC mainly utilizes pseudonymized data linking KDCA’s COVID-19 vaccination data and the National Health Insurance Service’s claims data. The CoVaSC’s 5-step research process involves defining the target diseases and organizing ad-hoc committees, developing research protocols, performing analyses, assessing causal relationships, and announcing research findings and utilizing them to guide compensation policies. As of 2022, the CoVaSC completed this research process for 15 adverse events. The CoVaSC launched the COVID-19 Vaccine Safety Research Center in September 2022 and has been reorganized into 4 divisions to promote research including international collaborative studies, long-/short-term follow-up studies, and education programs. Through these enhancements, the CoVaSC will continue to swiftly provide scientific evidence for COVID-19 vaccine research and compensation and may serve as a model for preparing for future epidemics of new diseases

A trial for the use of qigong in the treatment of pre and mild essential hypertension: a study protocol for a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Hypertension is a risk factor for cardiovascular disease, and the prevalence of hypertension tends to increase with age. Current treatments for hypertension have side effects and poor adherence. Qigong has been studied as an alternative therapy for hypertension; however, the types of qigong used in those studies were diverse, and there have not been many well-designed randomized controlled trials.</p> <p>Our objectives are the following: 1) To evaluate the effects of qigong on blood pressure, health status and hormone levels for pre- or mild hypertension. 2) To test the methodological appropriateness of this clinical trial and calculate a sample size for future randomized trials.</p> <p>Methods</p> <p>Forty subjects with pre- or mild hypertension will be randomized to either the qigong exercise group or the non-treated group. Participants in the qigong group will conduct qigong exercises 5 times per week for 8 weeks, and participants in the non-treated group will maintain their current lifestyle, including diet and exercise. The use of antihypertensive medication is not permitted. The primary endpoint is a change in patient blood pressure. Secondary endpoints are patient health status (as measured by the SF-36 and the MYMOP2 questionnaires) and changes in hormone levels, including norepinephrine, epinephrine, and cortisol.</p> <p>Discussion</p> <p>This study will be the first randomized trial to investigate the effectiveness of qigong exercises for the treatment of pre- and mild hypertension. The results of this study will help to establish the optimal approach for the care of adults with pre- or mild hypertension.</p> <p>Trial registration</p> <p>Clinical Research Information Service KCT0000140</p

A genome-wide association study of copy-number variation identifies putative loci associated with osteoarthritis in Koreans

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.Background OA is a complex disease caused by environmental and genetic risk factors. The purpose of this study is to identify candidate copy number variations (CNVs) associated with OA. Methods We performed a genome-wide association study of CNV to identify potential loci that confer susceptibility to or protection from OA. CNV genotyping was conducted using NimbleGen HD2 3 × 720K comparative hybridization array and included samples from 371 OA patients and 467 healthy controls. The putative CNV regions identified were confirmed with a TaqMan assay. Results We identified six genomic regions associated with OA encompassing CNV loci. None of six loci had previously been reported in genome-wide association studies with OA, although a genetic analysis suggested that they have functional effects. The protein product of a candidate risk gene for obesity, TNKS, targets Wnt inhibition, and this gene was significantly associated with hand and knee OA. Copy number deletion on TNKS was associated with a 1.37-fold decreased risk for OA. In addition, CA10, which shows a strong association with osteoporosis, was also significant in our study. Copy number deletion on this gene was associated with a 1.69-fold decreased risk for OA. Conclusion We identified several CNV loci that may contribute to OA susceptibility in Koreans. Further functional investigations of these genes are warranted to fully characterize their putative association