SMRL: A Metamorphic Security Testing Tool for Web Systems

We present a metamorphic testing tool that alleviates the oracle problem in security testing. The tool enables engineers to specify metamorphic relations that capture security properties of Web systems. It automatically tests Web systems to detect vulnerabilities based on those relations. We provide a domain-specific language accompanied by an Eclipse editor to facilitate the specification of metamorphic relations. The tool automatically collects the input data and transforms the metamorphic relations into executable Java code in order to automatically perform security testing based on the collected data. The tool has been successfully evaluated on a commercial system and a leading open source system (Jenkins). Demo video: https://youtu.be/9kx6u9LsGxs

Involvement of CDP/Cux in the Regulation of Histone H4 Gene Expression, Proliferation and Differentiation: a Dissertation

Proliferation and differentiation are essential processes for the growth and development of higher eukaryotic organisms. Regulation of gene expression is essential for control of cell division and differentiation. Normal eukaryotic cells have a limited proliferative capacity, and ultimately undergo cellular senescence and apoptosis. Terminal differentiation of cells is associated with loss of proliferative capacity and acquisition of specialized functions. Proliferation and differentiation are processes required for the creation and maintenance of diverse tissues both during embryonic development and postnatal life. The cell cycle is the process by which cells reproduce, and requires duplication and segregation of hereditary material. Loss of cell cycle control leads to genetic instability and cancer. Expression of replication-dependent histone genes is tightly coupled to DNA synthesis, thus making histone genes a good model for studying cell cycle regulation. The HiNF-D complex interacts with all five classes (H1, H2A, H2B, H3 and H4) of histone genes in a cell cycle-dependent manner. The CCAAT displacement protein (CDP)/Cux and the tumor suppressor pRB are key components of the HiNF-D complex. However, the molecular interactions that enable CDP/Cux and pRB to form a complex and thus convey cell growth regulatory information onto histone gene promoters are poorly understood. Transient transfection assays show that CDP/Cux represses the histone H4 promoter and that the pRB large pocket domain functions with CDP/Cux as a co-repressor. Direct interaction between CDP/Cux C-terminus and the pRB pocket domain was observed in GST pull-down assays. Furthermore, co-immunoprecipitation assays and immunofluorescence microscopy established that CDP/Cux and pRB form complexes in vivo and associate in situ. pRB interaction and co-repression with CDP/Cux is independent of pRB phosphosphorylation sites, as revealed by GST pull-down assays and transient transfection assays using a series of pRB mutant proteins. Thus, several converging lines of evidence indicate that complexes between CDP/Cux and pRB repress cell cycle-regulated histone gene promoters. CDP/Cux is regulated by phosphorylation and acetylation at the C-terminus, which contains two repressor domains and interacts with histone deacetylase HDAC1. In vivo function of the CDP/Cux C-terminus in development and gene regulation was assessed in genetically targeted mice (Cutl1tm2Ejn, referred to as Cutl1ΔC). The mice express a mutant CDP/Cux protein with a deletion of the C-terminus including the homeodomain. Indirect immunofluorescence microscopy showed that the mutant protein exhibited significantly reduced nuclear localization in comparison to the wildtype protein. Consistent with these data, DNA binding activity of HiNF-D was lost in nuclear extracts derived from mouse embryonic fibroblasts (MEFs) or adult tissues of homozygous mutant (Cutl1 ΔC -/-) mice, indicating the functional loss of CDP/Cux in the nucleus. No significant difference in growth characteristics or total histone H4 mRNA levels was observed between wildtype and Cutl1 ΔC -/- MEFs in culture. However, the histone H4.1 (murine FO108) gene containing CDP/Cux binding sites have reduced expression levels in homozygous mutant MEFs. Stringent control of growth and differentiation appears to be compromised in vivo. Homozygous mutant mice exhibit stunted growth (20-50% weight reduction), a high postnatal death rate of 60-70%, sparse abnormal coat hair and severely reduced fertility. Hair follicle deformities and severely diminished fertility in Cutl1 ΔC -/- mice suggest that CDP/Cux is required for normal development of dermal tissues and reproductive functions. Together the data presented in this dissertation provide new insight into the in vivo functions of CDP/Cux in the regulation of histone gene expression, growth control and differentiation

Venture Capital Investment and Post-IPO Performance of Entrepreneurial Firms: Evidence from the People's Republic China

We examine the effects of venture capital (VC) investment on the performance (measured by return on assets, return on equity, and Tobin’s Q) and growth (measured by growth of total sales and total number of employees) of entrepreneurial firms in the People’s Republic of China (PRC) after an initial public offering (IPO). Firm-level panel data analysis shows that VC investment contributes to the long-term performance and growth of entrepreneurial firms after an IPO. Meanwhile,we observe a significant and positive relationship between corporate governance of firms and VC investment. However, we do not find that experience or specialization of VC firms influences the effects of venture investment on post-IPO performance or growth of entrepreneurial firms in the PRC.published_or_final_versio

A Self-Consistent Model For Directional Dependence Of Crack Growth

Fracture growth is considered as the competition between cleavage and dislocation self-organization in elastic-plastic solids. A self-consistent model is proposed to bridge the responses at relevant length scales, an elastic enclave in the immediate vicinity of crack tip, an array of disclination dipoles and macroscopic plastic deformation. The directional dependence of crack growth is studied. In the continuum limit, the flow stress is expressed by a spatial coupling in terms of a second-order gradient of the rotation strength of disclination dipoles. An estimate of the core size and the crack-tip shielding ratio is given by identification of the macroscopic plastic fields, the elastic field and the constitutive flow stress from the micromechanics consideration, on the boundary of elastic core. Strong dependence of apparent fracture toughness on the intrinsic surface energy and the ductile-to-brittle transition are examined

On subgroups in division rings of type 22

Let $D$ be a division ring with center $F$. We say that $D$ is a {\em division ring of type $2$} if for every two elements $x, y\in D,$ the division subring $F(x, y)$ is a finite dimensional vector space over $F$. In this paper we investigate multiplicative subgroups in such a ring.Comment: 10 pages, 0 figure

Fatigue Crack Growth And Piezoelectric Property Decay Induced By Cyclic Electric Fields For An Actuation Piezoceramic

Degradation of piezoelectric properties of piezomaterials has long been a concern in the applications of actuators and sensors. In this work, alternating electric field induced fatigue crack growth and effect of cyclic electric field on piezoelectric property decay were characterized for a polarized PZT-PIC151. The results show that a relatively high alternating electric field drives the pre-existing microcracks to grow very fast initially due to the superposition of electrostriction induced stress and residual stress at the crack tip, then slow down gradually to becoming dormant. The butterfly loop evolution shows that cyclic electric field strongly degrades the piezoelectric properties due to the frequent domain switching. The output strain decays more than 50% after 106 electric cycles at 0.9 Ec for PIC 151 pellet bonded on an aluminum beam