Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing

The time it takes software systems to be tested is usually long. This is often caused by the time it takes the entire test suite to be executed. To optimize this, regression test selection approaches have allowed for improvements to the cost-effectiveness of verification and validation activities in the software industry. In this area, multi-objective algorithms have played a key role in selecting the appropriate subset of test cases from the entire test suite. In this paper, we propose a set of seeding strategies for the test case selection problem that generate the initial population of multi-objective algorithms.We integrated these seeding strategies with an NSGA-II algorithm for solving the test case selection problem in the context of simulation-based testing. We evaluated the strategies with six case studies and a total of 21 fitness combinations for each case study (i.e., a total of 126 problems). Our evaluation suggests that these strategies are indeed helpful for solving the multi-objective test case selection problem. In fact, two of the proposed seeding strategies outperformed the NSGA-II algorithm without seeding population with statistical significance for 92.8 and 96% of the problems

Spectral fluctuations of Schr\"odinger operators generated by critical points of the potential

Starting from the spectrum of Schr\"odinger operators on $\mathbb{R}^n$, we propose a method to detect critical points of the potential. We argue semi-classically on the basis of a mathematically rigorous version of Gutzwiller's trace formula which expresses spectral statistics in term of classical orbits. A critical point of the potential with zero momentum is an equilibrium of the flow and generates certain singularities in the spectrum. Via sharp spectral estimates, this fluctuation indicates the presence of a critical point and allows to reconstruct partially the local shape of the potential. Some generalizations of this approach are also proposed.\medskip keywords : Semi-classical analysis; Schr\"odinger operators; Equilibriums in classical mechanics.Comment: 18 pages, Final versio

Aging augments obesity-induced thymic involution and peripheral T cell exhaustion altering the “obesity paradox”

IntroductionThe incidence of obesity, a condition characterized by systemic chronic inflammation, has reached pandemic proportions and is a poor prognostic factor in many pathologic states. However, its role on immune parameters has been diverse and at times contradictory. We have previously demonstrated that obesity can result in what has been called the “obesity paradox” which results in increased T cell exhaustion, but also greater efficacy of immune checkpoint blockade in cancer treatment.MethodsThe role of obesity, particularly in the context of aging, has not been robustly explored using preclinical models. We therefore evaluated how age impacts the immune environment on T cell development and function using diet-induced obese (DIO) mice.ResultsWe observed that DIO mice initially displayed greater thymopoiesis but then developed greater thymic involution over time compared to their lean counterparts. Both aging and obesity resulted in increased T cell memory conversion combined with increased expression of T cell exhaustion markers and Treg expansion. This increased T cell immunosuppression with age then resulted in a loss of anti-tumor efficacy by immune checkpoint inhibitors (ICIs) in older DIO mice compared to the younger DIO counterparts.DiscussionThese results suggest that both aging and obesity contribute to T cell dysfunction resulting in increased thymic involution. This combined with increased T cell exhaustion and immunosuppressive parameters affects immunotherapy efficacy reducing the advantage of obesity in cancer immunotherapy responses

The context of HIV risk behaviours among HIV-positive injection drug users in Viet Nam: Moving toward effective harm reduction

<p>Abstract</p> <p>Background</p> <p>Injection drug users represent the largest proportion of all HIV reported cases in Viet Nam. This study aimed to explore the perceptions of risk and risk behaviours among HIV-positive injection drug users, and their experiences related to safe injection and safe sex practices.</p> <p>Methods</p> <p>This study used multiple qualitative methods in data collection including in-depth interviews, focus group discussions and participant observation with HIV-positive injection drug users.</p> <p>Results</p> <p>The informants described a change in the sharing practices among injection drug users towards more precautions and what was considered 'low risk sharing', like sharing among seroconcordant partners and borrowing rather than lending. However risky practices like re-use of injection equipment and 'syringe pulling' i.e. the use of left-over drugs in particular, were frequently described and observed. Needle and syringe distribution programmes were in place but carrying needles and syringes and particularly drugs could result in being arrested and fined. Fear of rejection and of loss of intimacy made disclosure difficult and was perceived as a major obstacle for condom use among recently diagnosed HIV infected individuals.</p> <p>Conclusion</p> <p>HIV-positive injection drug users continue to practice HIV risk behaviours. The anti-drug law and the police crack-down policy appeared as critical factors hampering ongoing prevention efforts with needle and syringe distribution programmes in Viet Nam. Drastic policy measures are needed to reduce the very high HIV prevalence among injection drug users.</p

Activation status dictates the function of unlicensed natural killer cells in mice and humans

International audienceNatural Killer (NK) cells are involved in innate defense against viral infection and cancer. NK cells can be divided into subsets based on the ability of different receptors to bind to major histocompatibility (MHC) class I molecules resulting in differential responses upon activation in a process called "licensing" or "arming". NK cells expressing receptors that bind self-MHC are considered licensed due to augmented effector lytic function capability compared to unlicensed subsets. However, we demonstrated unlicensed NK subsets instead positively regulate the adaptive T cell response during viral infections due to localization and cytokine production. We demonstrate here that the differential effects of the two types of NK subsets is contingent on the environment using viral infection and hematopoietic stem cell transplantation (HSCT) models. Infection of mice with high-dose (HD) MCMV leads to a loss of licensing-associated differences as compared to mice with low-dose infection, as the unlicensed NK subset no longer localized in lymph nodes (LN), but instead remained at the site of infection. Similarly, the patterns observed during HD infection paralleled with the phenotypes of both human and mouse NK cells in a HSCT setting where NK cells exhibit an activated phenotype. However, in contrast to effects of subset depletion in T-replete models, the licensed NK cell subsets still dominated anti-viral responses post-HSCT. Overall, our results highlight the intricate tuning of the NK cells and how it impacts overall immune responses with regard to licensing patterns, as it is dependent on the level of stimulation and their activation status

La Grange Comprehensive Plan 2018 - 2038

In the Fall of 2017, the City of La Grange and Texas Target Communities partnered to create a task force to represent the community. The task force was integral to the planning process, contributing the thoughts, desires, and opinions of community members—as well as their enthusiasm about La Grange’s future. This fifteen-month planning process ended in August 2018. The result of this collaboration is the La Grange Comprehensive Plan, which is the official policy guide for the community’s growth over the next twenty years.La Grange Comprehensive Plan 2018 - 2038 provides a guide for the future growth of the City. This document was developed by Texas Target Communities in partnership with the City of La Grange.Texas Target Communitie

31st Annual Meeting and Associated Programs of the Society for Immunotherapy of Cancer (SITC 2016) : part two

Background The immunological escape of tumors represents one of the main ob- stacles to the treatment of malignancies. The blockade of PD-1 or CTLA-4 receptors represented a milestone in the history of immunotherapy. However, immune checkpoint inhibitors seem to be effective in specific cohorts of patients. It has been proposed that their efficacy relies on the presence of an immunological response. Thus, we hypothesized that disruption of the PD-L1/PD-1 axis would synergize with our oncolytic vaccine platform PeptiCRAd. Methods We used murine B16OVA in vivo tumor models and flow cytometry analysis to investigate the immunological background. Results First, we found that high-burden B16OVA tumors were refractory to combination immunotherapy. However, with a more aggressive schedule, tumors with a lower burden were more susceptible to the combination of PeptiCRAd and PD-L1 blockade. The therapy signifi- cantly increased the median survival of mice (Fig. 7). Interestingly, the reduced growth of contralaterally injected B16F10 cells sug- gested the presence of a long lasting immunological memory also against non-targeted antigens. Concerning the functional state of tumor infiltrating lymphocytes (TILs), we found that all the immune therapies would enhance the percentage of activated (PD-1pos TIM- 3neg) T lymphocytes and reduce the amount of exhausted (PD-1pos TIM-3pos) cells compared to placebo. As expected, we found that PeptiCRAd monotherapy could increase the number of antigen spe- cific CD8+ T cells compared to other treatments. However, only the combination with PD-L1 blockade could significantly increase the ra- tio between activated and exhausted pentamer positive cells (p= 0.0058), suggesting that by disrupting the PD-1/PD-L1 axis we could decrease the amount of dysfunctional antigen specific T cells. We ob- served that the anatomical location deeply influenced the state of CD4+ and CD8+ T lymphocytes. In fact, TIM-3 expression was in- creased by 2 fold on TILs compared to splenic and lymphoid T cells. In the CD8+ compartment, the expression of PD-1 on the surface seemed to be restricted to the tumor micro-environment, while CD4 + T cells had a high expression of PD-1 also in lymphoid organs. Interestingly, we found that the levels of PD-1 were significantly higher on CD8+ T cells than on CD4+ T cells into the tumor micro- environment (p < 0.0001). Conclusions In conclusion, we demonstrated that the efficacy of immune check- point inhibitors might be strongly enhanced by their combination with cancer vaccines. PeptiCRAd was able to increase the number of antigen-specific T cells and PD-L1 blockade prevented their exhaus- tion, resulting in long-lasting immunological memory and increased median survival

A Novel Technique of Optimization for the COCOMO II Model Parameters using Teaching-Learning-Based Optimization Algorithm

Software cost estimation is a critical activity in the development life cycle for controlling risks and planning project schedules. Accurate estimation of the cost before the start-up of a project is essential for both the developers and the customers. Therefore, many models were proposed to address this issue, in which COCOMO II has been being widely employed in actual software projects. Good estimation models, such as COCOMO II, can avoid insufficient resources being allocated to a project. However, parameters for estimation formula in this model have not been optimized yet, and so the estimated results are not close to the actual results. In this paper, a novel technique to optimize the coefficients for COCOMO II model by using teaching-learning-based optimization (TLBO) algorithm is proposed. The performance of the model after optimizing parameters was tested on NASA software project dataset. The obtained results indicated that the improvement of parameters provided a better estimation capabilities compared to the original COCOMO II model