Xiaosong Zhang

Learn More
INTRODUCTION Human epidermal growth factor receptor (HER) 2 is overexpressed in 20 - 25% of breast cancers, and has historically been a poor prognostic marker. The introduction of trastuzumab, the first fully humanized monoclonal antibody targeting HER2, has drastically changed the outcomes of metastatic breast cancers. However, despite initial response,(More)
Stress during pregnancy may cause neurodevelopmental and psychiatric disorders. However, the mechanisms are largely unknown. Currently, pro-inflammatory cytokines have been identified as a risk factor for depression and anxiety disorder. Unfortunately, there is very little research on the long-term effects of prenatal stress on the neuroinflammatory system(More)
Both animal experiments and clinical studies have demonstrated that prenatal stress can cause cognitive disorders in offspring. To explore the scope of these deficits and identify potential underlying mechanisms, we examined the spatial learning and memory performance and glutamate receptor (GluR) expression patterns of adult rats exposed to prenatal(More)
OBJECTIVE To investigate sexual violence and its impact on reproductive health in unmarried young women seeking abortion in China. METHODS A total of 2002 participants were surveyed by questionnaire, gynecologic examination, and laboratory tests for sexually transmitted disease (STD). RESULTS Overall, 14% of participants had experienced sexual violence(More)
Automated test generation Low false positives High code-coverage Challenges and solutions Tools analysis Prospects a b s t r a c t Dynamic symbolic execution for automated test generation consists of instrumenting and running a program while collecting path constraint on inputs from predicates encountered in branch instructions, and of deriving new inputs(More)
Traditional data leakage prevention strategies encompass access control, audit logon and authority management. They have some effects on preventing sensitive information from leakage, while the system’ s availability may be degraded seriously by their limitation. To solve this problem, a novel model based on Windows file system filter driver is(More)
SUMMARY Dynamic symbolic execution, or DSE for short, has become a promising technique in software testing. However, the implementation details of DSE have not been described in depth in existing works. Although some open-source DSE tools are available nowadays, to design and implement a specific DSE tool from scratch is necessary for some reasons. To this(More)