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)
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)
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)
INTRODUCTION Lacosamide is an antiepilepsy drug approved by the Food and Drug Administration for patients aged 17 years and older for partial-onset seizures as monotherapy or adjunctive therapy. We reviewed the use of intravenous lacosamide in children aged less than 17 years with status epilepticus. METHODS Children who received at least one dose of(More)