The use of systemic anticancer chemotherapy is intrinsically limited by its toxicity. Whether
dealing with small molecules or biopharmaceuticals, after systemic administration, small …

Cardiovascular disease (CVD) is the leading cause of premature death for women in
Canada. 1 Although it has long been recognized that estrogen impacts vascular responses in …

… This study, presented in Pacheco and Tovar, proposed a categorization of stakeholder
identification methods in requirements elicitation. Our work in this paper focused on three issues …

… estimates of probability of (A) the primary outcome, death or ventilation support (mechanical
ventilation, high-flow or noninvasive ventilation); B, death or mechanical ventilation; (C) …

… CTAS is a set of air-traffic control tools that contains over 1 million lines of C and C + +
code. Applying Daikon to large programs often requires focusing Daikon on a subset of the …

We present a technique that improves random test generation by incorporating feedback
obtained from executing test inputs as they are created. Our technique builds inputs …

RANDOOP for Java generates unit tests for Java code using feedback-directed random test
generation. Below we describe RANDOOP's input, output, and test generation algorithm. We …

Background Patients with COVID-19 pneumonia have an excess of inflammation and
increased concentrations of cytokines including interleukin-1 (IL-1). We aimed to determine …

We present ClearView, a system for automatically patching errors in deployed software.
ClearView works on stripped Windows x86 binaries without any need for source code, …

Objective To evaluate the efficacy and safety of ustekinumab in 3 randomized, placebo‐controlled
studies in patients with axial spondyloarthritis (SpA). Studies 1 and 2 included patients …