Learn More
Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are important to test, which led to research on advanced testing techniques targeting such containers and research on comparing testing techniques using such containers. However, these(More)
Generation of complex input data structures is one of the challenging tasks in testing. Manual generation of such structures is tedious and error-prone. Automated generation approaches include those based on constraints, which generate structures at the concrete representation level, and those based on sequences of operations, which generate structures at(More)
A fundamental question in software testing research is how to compare test suites, often as a means for comparing test-generation techniques. Researchers frequently compare test suites by measuring their coverage. A coverage criterion C provides a set of test requirements and measures how many requirements a given suite satisfies. A suite that satisfies(More)
A fundamental question in software testing research is how to compare test suites, often as a means for comparing test-generation techniques that produce those test suites. Researchers frequently compare test suites by measuring their <i>coverage</i>. A coverage criterion <i>C</i> provides a set of test requirements and measures how many requirements a(More)
Pathological conditions, including ischemia and heart failure, are associated with altered sodium channel function and increased late sodium current (I(Na,L)), leading to prolonged action potential duration, increased intracellular sodium and calcium concentrations, and arrhythmias. We used anemone toxin (ATX)-II to study the effects of increasing I(Na,L)(More)
Regression test selection analyzes incremental changes to a codebase and chooses to run only those tests whose behavior may be affected by the latest changes in the code. By focusing on a small subset of all the tests, the testing process runs faster and can be more tightly integrated into the development process. Existing techniques for regression test(More)
Product graphs have been gainfully used in literature to generate mathematical models of complex networks which inherit properties of real networks. Realizing the duplication phenomena imbibed in the definition of corona product of two graphs, we define corona graphs. Given a small simple connected graph which we call basic graph, corona graphs are defined(More)
This paper proposes a new paradigm for the design of cryptographic filesystems. Traditionally, cryptographic file systems have mainly focused on encrypting entire files or directories. In this paper, we envisage encryption at a finer granularity, i.e. encrypting parts of files. Such an approach is useful for protecting parts of large files that typically(More)
INTRODUCTION There is no comprehensive data or studies relating to clinical presentation and prognosis of cerebral malaria (CM) in the tribal settlements of Assam. High rates of transmission and deaths from complicated malaria guided us to conduct a prospective observational cohort study to evaluate the factors associated with poor outcome and prognosis in(More)
Group I metabotropic glutamate receptors (mGluRs) play important roles in various neuronal processes and elicit changes in synaptic efficacy through AMPA receptor (AMPAR) endocytosis. Trafficking of mGluRs plays an important role in controlling the precise localization of these receptors at specific region of the cell; it also regulates the activity of(More)