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 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.

Graphene oxide based multilayer capsules with unique permeability properties: facile encapsulation of multiple drugs

Novel composite graphene oxide (GO)/poly(allylamine hydrochloride) (PAH) multilayer capsules have been fabricated by layer-by-layer (LbL) assembly. They were found to possess unique permeability properties compared to traditional LbL capsules. These hybrid capsules showed special ``core-shell'' loading property for encapsulation of dual drugs simultaneously into the core and shell of the capsules respectively.

Binding of Gemini Bisbenzimidazole Drugs with Human Telomeric G-Quadruplex Dimers: Effect of the Spacer in the Design of Potent Telomerase Inhibitors

The study of anticancer agents that act via stabilization of telomeric G-quadruplex DNA (G4DNA) is important because such agents often inhibit telomerase activity. Several types of G4DNA binding ligands are known. In these studies, the target structures often involve a single G4 DNA unit formed by short DNA telomeric sequences. However, the 3'-terminal single-stranded human telomeric DNA can form higher-order structures by clustering consecutive quadruplex units (dimers or nmers). Herein, we present new synthetic gemini (twin) bisbenzimidazole ligands, in which the oligo-oxyethylene spacers join the two bisbenzimidazole units for the recognition of both monomeric and dimeric G4DNA, derived from d(T2AG3)4 and d(T2AG3) 8 human telomeric DNA, respectively. The spacer between the two bisbenzimidazoles in the geminis plays a critical role in the G4DNA stability. We report here (i) synthesis of new effective gemini anticancer agents that are selectively more toxic towards the cancer cells than the corresponding normal cells; (ii) formation and characterization of G4DNA dimers in solution as well as computational construction of the dimeric G4DNA structures. The gemini ligands direct the folding of the single-stranded DNA into an unusually stable parallel-stranded G4DNA when it was formed in presence of the ligands in KCl solution and the gemini ligands show spacer length dependent potent telomerase inhibition properties.

Infrared Spectroscopic Studies to Understand the Effect of Drugs at Molecular Level

In the recent past, there have been enormous efforts to understand effect of drugs on human body. Prior to understand the effect of drugs on human body most of the experiments are carried out on cells or model organisms. Here we present our study on the effect of chemotherapeutic drugs on cancer cells and the acetaminophen (APAP) induced hepatotoxicity in mouse model. Histone deacetylase inhibitors (HDIs) have attracted attention as potential drug molecules for the treatment of cancer. These are the chemotherapeutic drugs which have indirect mechanistic action against cancer cells via acting against histone deacetylases (HDAC). It has been known that different HDAC enzymes are over-expressed in various types of cancers for example; HDAC1 is over expressed in prostate, gastric and breast carcinomas. Therefore, in order to optimise chemotherapy, it is important to determine the efficacy of various classes of HDAC inhibitor drugs against variety of over-expressed HDAC enzymes. In the present study, FTIR microspectroscopy has been employed to predict the acetylation and propionylation brought in by HDIs. The liver plays an important role in cellular metabolism and is highly susceptible to drug toxicity. APAP which is an analgesic and antipyretic drug is extensively used for therapeutic purposes and has become the most common cause of acute liver failure (ALF). In the current study, we have focused to understand APAP induced hepatotoxicity using FTIR microspectroscopy. In the IR spectrum the bands corresponding to glycogen, ester group and were found to be suitable markers to predict liver injury at early time point (0.5hr) due to APAP both in tissue and serum in comparison to standard biochemical assays. Our studies show the potential of FTIR spectroscopy as a rapid, sensitive and non invasive detection technique for future clinical diagnosis.

Synthesis and structural characterization of some trisulfide analoges of thiouracil-based antithyroid drugs

Thiourea-based antithyroid drugs are effectively used for the treatment of hyperthyroidism. In this paper, we describe the synthesis of new trisulfides (11-12) from the commonly used thiourea-based antithyroid drugs such as 6-n-propyl-2-thiouracil (PTU) and 6-methyl-2-thiouracil (MTU) in the reaction with I-2/KI system. Structural analysis by single crystal X-ray diffraction studies revealed the stabilization of trisulfides by a lactam-lactim tautomerism facilitating effective intramolecular as well as intermolecular non-covalent interactions. Although the structures of both trisulfides were found to be quite similar, a notable difference in the intermolecular interactions was observed between compounds 11 and 12 leading to different structural patterns. Structural stabilization of these trisulfides by tautomerism followed by intramolecular as well as intermolecular H-bonds makes these molecules as perfect examples in molecular recognition with self-complementary donor and acceptor units within a single molecule. (C) 2012 Elsevier B.V. All rights reserved.

Rationalization and prediction of drug resistant mutations in targets for clinical anti-tubercular drugs

Resistance to therapy limits the effectiveness of drug treatment in many diseases. Drug resistance can be considered as a successful outcome of the bacterial struggle to survive in the hostile environment of a drug-exposed cell. An important mechanism by which bacteria acquire drug resistance is through mutations in the drug target. Drug resistant strains (multi-drug resistant and extensively drug resistant) of Mycobacterium tuberculosis are being identified at alarming rates, increasing the global burden of tuberculosis. An understanding of the nature of mutations in different drug targets and how they achieve resistance is therefore important. An objective of this study is to first decipher sequence as well as structural bases for the observed resistance in known drug resistant mutants and then to predict positions in each target that are more prone to acquiring drug resistant mutations. A curated database containing hundreds of mutations in the 38 drug targets of nine major clinical drugs, associated with resistance is studied here. Mutations have been classified into those that occur in the binding site itself, those that occur in residues interacting with the binding site and those that occur in outer zones. Structural models of the wild type and mutant forms of the target proteins have been analysed to seek explanations for reduction in drug binding. Stability analysis of an entire array of 19 mutations at each of the residues for each target has been computed using structural models. Conservation indices of individual residues, binding sites and whole proteins are computed based on sequence conservation analysis of the target proteins. The analyses lead to insights about which positions in the polypeptide chain have a higher propensity to acquire drug resistant mutations. Thus critical insights can be obtained about the effect of mutations on drug binding, in terms of which amino acid positions and therefore which interactions should not be heavily relied upon, which in turn can be translated into guidelines for modifying the existing drugs as well as for designing new drugs. The methodology can serve as a general framework to study drug resistant mutants in other micro-organisms as well.

Statistical Methods for Accelerated Life Testing with Particular Reference to Resin Impregnated Paper Bushings

Electrical failure of insulation is known to be an extremal random process wherein nominally identical pro-rated specimens of equipment insulation, at constant stress fail at inordinately different times even under laboratory test conditions. In order to be able to estimate the life of power equipment, it is necessary to run long duration ageing experiments under accelerated stresses, to acquire and analyze insulation specific failure data. In the present work, Resin Impregnated Paper (RIP) a relatively new insulation system of choice used in transformer bushings, is taken as an example. The failure data has been processed using proven statistical methods, both graphical and analytical. The physical model governing insulation failure at constant accelerated stress has been assumed to be based on temperature dependent inverse power law model.

Active Sequential Hypothesis Testing with Application to a Visual Search Problem

We consider a visual search problem studied by Sripati and Olson where the objective is to identify an oddball image embedded among multiple distractor images as quickly as possible. We model this visual search task as an active sequential hypothesis testing problem (ASHT problem). Chernoff in 1959 proposed a policy in which the expected delay to decision is asymptotically optimal. The asymptotics is under vanishing error probabilities. We first prove a stronger property on the moments of the delay until a decision, under the same asymptotics. Applying the result to the visual search problem, we then propose a ``neuronal metric'' on the measured neuronal responses that captures the discriminability between images. From empirical study we obtain a remarkable correlation (r = 0.90) between the proposed neuronal metric and speed of discrimination between the images. Although this correlation is lower than with the L-1 metric used by Sripati and Olson, this metric has the advantage of being firmly grounded in formal decision theory.

Novel algorithms for distributed sequential hypothesis testing

This paper considers sequential hypothesis testing in a decentralized framework. We start with two simple decentralized sequential hypothesis testing algorithms. One of which is later proved to be asymptotically Bayes optimal. We also consider composite versions of decentralized sequential hypothesis testing. A novel nonparametric version for decentralized sequential hypothesis testing using universal source coding theory is developed. Finally we design a simple decentralized multihypothesis sequential detection algorithm.