Specification Based Regression Testing Using Explicit State Space Enumeration

This paper presents a method of partial automation of specification based regression testing, which we call ESSE (Explicit State Space Enumeration). The first step in ESSE method is the extraction of a finite state model of the system making use of an already tested version of the system under test (SUT). Thereafter, the finite state model thus obtained is used to compute good test sequences that can be used to regression test subsequent versions of the system. We present two new algorithms for test sequence computation - both based on our finite state model generated by the above method. We also provide the details and results of the experimental evaluation of ESSE method. Comparison with a practically used random-testing algorithm has shown substantial improvements.

An Algorithm for Testing 2-Asummability of Boolean Functions

Simple algorithms have been developed to generate pairs of minterms forming a given 2-sum and thereby to test 2-asummability of switching functions. The 2-asummability testing procedure can be easily implemented on the computer. Since 2-asummability is a necessary and sufficient condition for a switching function of upto eight variables to be linearly separable (LS), it can be used for testing LS switching functions of upto eight variables.

Materials, Processing, and Testing of Flexible Image Sensor Arrays

Editors' note:Flexible, large-area display and sensor arrays are finding growing applications in multimedia and future smart homes. This article first analyzes and compares current flexible devices, then discusses the implementation, requirements, and testing of flexible sensor arrays.—Jiun-Lang Huang (National Taiwan University) and Kwang-Ting (Tim) Cheng (University of California, Santa Barbara)

Testing concordance in species boundaries using acoustic, morphological, and molecular data in the field cricket genus Itaropsis (Orthoptera: Grylloidea, Gryllidae: Gryllinae)

In most taxa, species boundaries are inferred based on differences in morphology or DNA sequences revealed by taxonomic or phylogenetic analyses. In crickets, acoustic mating signals or calling songs have species-specific structures and provide a third data set to infer species boundaries. We examined the concordance in species boundaries obtained using acoustic, morphological, and molecular data sets in the field cricket genus Itaropsis. This genus is currently described by only one valid species, Itaropsis tenella, with a broad distribution in western peninsular India and Sri Lanka. Calling songs of males sampled from four sites in peninsular India exhibited significant differences in a number of call features, suggesting the existence of multiple species. Cluster analysis of the acoustic data, molecular phylogenetic analyses, and phylogenetic analyses combining all data sets suggested the existence of three clades. Whatever the differences in calling signals, no full congruence was obtained between all the data sets, even though the resultant lineages were largely concordant with the acoustic clusters. The genus Itaropsis could thus be represented by three morphologically cryptic incipient species in peninsular India; their distributions are congruent with usual patterns of endemism in the Western Ghats, India. Song evolution is analysed through the divergence in syllable period, syllable and call duration, and dominant frequency.

A Monoclonal Antibody against Human Notch1 Ligand-Binding Domain Depletes Subpopulation of Putative Breast Cancer Stem-like Cells

Overexpression of Notch receptors and ligands has been associated with various cancers and developmental disorders, making Notch a potential therapeutic target. Here, we report characterization of Notch1 monoclonal antibodies (mAb) with therapeutic potential. The mAbs generated against epidermal growth factor (EGF) repeats 11 to 15 inhibited binding of Jagged1 and Delta-like4 and consequently, signaling in a dose-dependent manner, the antibodies against EGF repeats 11 to 12 being more effective than those against repeats 13 to 15. These data emphasize the role of EGF repeats 11 to 12 in ligand binding. One of the mAbs, 602.101, which specifically recognizes Notch1, inhibited ligand-dependent expression of downstream target genes of Notch such as HES-1, HES-5, and HEY-L in the breast cancer cell line MDA-MB-231. The mAb also decreased cell proliferation and induced apoptotic cell death. Furthermore, exposure to this antibody reduced CD44(Hi)/CD24(Low) subpopulation in MDA-MB-231 cells, suggesting a decrease in the cancer stem-like cell subpopulation. This was confirmed by showing that exposure to the antibody decreased the primary, secondary, and tertiary mammosphere formation efficiency of the cells. Interestingly, effect of the antibody on the putative stem-like cells appeared to be irreversible, because the mammosphere-forming efficiency could not be salvaged even after antibody removal during the secondary sphere formation. The antibody also modulated expression of genes associated with stemness and epithelial-mesenchymal transition. Thus, targeting individual Notch receptors by specific mAbs is a potential therapeutic strategy to reduce the potential breast cancer stem-like cell subpopulation. Mol Cancer Ther; 11(1); 77-86. (C) 2011 AACR.

A new 6-component accelerometer force balance for short duration ground testing facilities

A new six-component accelerometer force balance is developed and used in the HST2 shock tunnel of Indian Institute of Science. Aerodynamic forces and moments for a hypersonic slender body measured using this balance system at a free stream Mach number of 5.75 and Reynolds number of 1.5 million and stagnation enthalpy of 1.5 and 2 MJ/kg are presented. These measured values compare well with the theoretical values estimated using modified Newtonian theory.

Biosorption of heavy metal ions from aqueous and cyanide solutions using fungal biomass

A waste fungal biomass containing killed cells of Aspergillus niger was efficiently used in the removal of toxic metal ions such as nickel, calcium, iron and chromium from aqueous solutions. The role of different parameters such as initial metal ion concentration, solution pH and biomass concentration on biosorption capacity was established. The maximum metal uptake was found to be dependent on solution pH and increased with biomass loading upto 10g/L. The adsorption densities for various metal ions could be arranged as Ca>Cr (III)>Ni>Fe>Cr (VI). The effect of the presence of various metal ions in binary, ternary and quaternary combinations on biosorption was also assessed. Ni uptake was significantly affected, while that of Cr (VI) the least, in the presence of other metal ions. Uptake of base metals from an industrial cyanide effluent was studied using different species of fungi such as Aspergillus niger, Aspergillus terreus and Penicillium funiculosum and yeast such as Saccharomyces cerevisiae which were isolated from a gold mine. Traces of gold present in the cyanide effluent could be efficiently recovered. Among the four base metal contaminants present in the cyanide effluent, zinc was found to be most efficiently biosorbed, followed by iron, copper and lead. The role of both living and dead biomass on biosorption was distinguished and probable mechanisms illustrated.

Ribosome-RNA interaction: a potential target for developing antiviral against hepatitis C virus

Hepatitis C virus (HCV), a member of Flaviviridae, encoding a positive-sense single-stranded RNA translates by cap-independent mechanism using the internal ribosome entry site (IRES) present in the 5' UTR of the virus. The IRES has complex stem loop structures and is capable of recruiting the 40S ribosomal subunit in a factor-independent fashion. As the IRES sequence is highly conserved throughout the HCV genotypes and the translation is the first obligatory step of the HCV life cycle, the IRE'S-mediated translation, or more specifically, the ribosome HCV RNA interaction is an attractive target to design effective antivirals. This article will focus on the mechanism of the HCV IRES translation and the various ways in which the interaction of ribosome and IRES has been targeted.

Swift heavy ion induced structural, iono and photoluminescence properties of beta-CaSiO3:Dy3+ nanophosphor

CaSiO3:Dy3+ (1-5 mol%) nanophosphors have been prepared by a low temperature solution combustion method. The structural and luminescence (ionoluminescence; IL and photoluminescence; PL) studies have been carried out for pristine and ion irradiated samples. The XRD patterns of pristine sample show a prominent peak at (320) for the monoclinic structure of beta-CaSiO3. Upon ion irradiation, the intensity of the prominent peak is decreased at the fluence of 7.81 x 10(12) ions cm(-2) and at higher fluence of 15.62 x 10(12) ions cm(-2), the prominent peak completely vanishes. The decrease in peak intensity might be due to the stress induced point defects. On-line IL and in situ PL studies have been carried out on pelletized samples bombarded with 100 MeV Si7+ ions with fluences in the range (7.81-15.62) x 10(12) ions cm(-2). The characteristic emission peaks at 481,574, 664 and 754 nm recorded in both IL and PL are attributed to the luminescence centers activated by Dy3+ ions. It is found that IL and PL emissions intensity decreases with increase in Si7+ ion fluence. The decrease in intensity can be due to the destruction of Si-O-Si and O-Si-O type species present on the surface of the sample. FTIR studies also confirm the Si-O-Si and O-Si-O type species observed to be sensitive for swift heavy ion (SHI) irradiated samples. (C) 2012 Elsevier B.V. All rights reserved.

Flux tube model signals for baryon correlations in heavy ion collisions

The flux tube model offers a pictorial description of what happens during the deconfinement phase transition in QCD. The three-point vertices of a flux tube network lead to formation of baryons upon hadronization. Therefore, correlations in the baryon number distribution at the last scattering surface are related to the preceding pattern of the flux tube vertices in the quark-gluon plasma, and provide a signature of the nearby deconfinement phase transition. I discuss the nature of the expected signal, and how to extract it from the experimental data for heavy ion collisions at RHIC and LHC.