Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems. We also consider nondeterminism in our models. Hence, we do not check for equivalence, but for refinement. We encode the transition relation as well as the conformance relation as a constraint satisfaction problem and use a constraint solver in our reachability and refinement checking algorithms. Explicit conformance checking techniques often face state space explosion. First experimental evaluations show that our approach has potential to outperform explicit conformance checkers.Comment: In Proceedings MBT 2012, arXiv:1202.582

Pseudomonas aeruginosa quorum sensing systems as drug discovery targets: current position and future perspectives

Antimicrobial resistance (AMR) is a serious threat to public health globally, manifested by the frequent emergence of multi-drug resistant pathogens that render current chemotherapy inadequate. Health organizations worldwide have recognized the severity of this crisis and implemented action plans to contain its adverse consequences and prolong the utility of conventional antibiotics. Hence, there is a pressing need for new classes of antibacterial agents with novel modes of action. Quorum sensing (QS), a communication system employed by bacterial populations to co-ordinate virulence gene expression, is a potential target that has been intensively investigated over the last decade. This Perspective will focus on recent advances in targeting the three main quorum sensing systems (las, rhl and pqs) of a major opportunistic human pathogen, Pseudomonas aeruginosa, and will specifically evaluate the medicinal chemistry strategies devised to develop QS inhibitors from a drug discovery perspective

Identification of Novel Antimalarial Chemotypes via Chemoinformatic Compound Selection Methods for a High-Throughput Screening Program against the Novel Malarial Target, PfNDH2: Increasing Hit Rate via Virtual Screening Methods

Malaria is responsible for approximately 1 million deaths annually; thus, continued efforts to discover new antimalarials are required. A HTS screen was established to identify novel inhibitors of the parasite's mitochondrial enzyme NADH:quinone oxidoreductase (PfNDH2). On the basis of only one known inhibitor of this enzyme, the challenge was to discover novel inhibitors of PfNDH2 with diverse chemical scaffolds. To this end, using a range of ligand-based chemoinformatics methods, ~17000 compounds were selected from a commercial library of ~750000 compounds. Forty-eight compounds were identified with PfNDH2 enzyme inhibition IC(50) values ranging from 100 nM to 40 μM and also displayed exciting whole cell antimalarial activity. These novel inhibitors were identified through sampling 16% of the available chemical space, while only screening 2% of the library. This study confirms the added value of using multiple ligand-based chemoinformatic approaches and has successfully identified novel distinct chemotypes primed for development as new agents against malaria

Chromosomal-level assembly of the Asian Seabass genome using long sequence reads and multi-layered scaffolding

We report here the ~670 Mb genome assembly of the Asian seabass (Lates calcarifer), a tropical marine teleost. We used long-read sequencing augmented by transcriptomics, optical and genetic mapping along with shared synteny from closely related fish species to derive a chromosome-level assembly with a contig N50 size over 1 Mb and scaffold N50 size over 25 Mb that span ~90% of the genome. The population structure of L. calcarifer species complex was analyzed by re-sequencing 61 individuals representing various regions across the species' native range. SNP analyses identified high levels of genetic diversity and confirmed earlier indications of a population stratification comprising three clades with signs of admixture apparent in the South-East Asian population. The quality of the Asian seabass genome assembly far exceeds that of any other fish species, and will serve as a new standard for fish genomics

Identification, Design and Biological Evaluation of Heterocyclic Quinolones Targeting Plasmodium falciparum Type II NADH:Quinone Oxidoreductase (PfNDH2)

Following a program undertaken to identify hit compounds against NADH:ubiquinone oxidoreductase (PfNDH2), a novel enzyme target within the malaria parasite Plasmodium falciparum, hit to lead optimization led to identification of CK-2-68, a molecule suitable for further development. In order to reduce ClogP and improve solubility of CK-2-68 incorporation of a variety of heterocycles, within the side chain of the quinolone core, was carried out, and this approach led to a lead compound SL-2-25 (8b). 8b has IC(50)s in the nanomolar range versus both the enzyme and whole cell P. falciparum (IC(50) = 15 nM PfNDH2; IC(50) = 54 nM (3D7 strain of P. falciparum) with notable oral activity of ED(50)/ED(90) of 1.87/4.72 mg/kg versus Plasmodium berghei (NS Strain) in a murine model of malaria when formulated as a phosphate salt. Analogues in this series also demonstrate nanomolar activity against the bc(1) complex of P. falciparum providing the potential added benefit of a dual mechanism of action. The potent oral activity of 2-pyridyl quinolones underlines the potential of this template for further lead optimization studies

Identification, Design and Biological Evaluation of Bisaryl Quinolones Targeting Plasmodium falciparum Type II NADH:Quinone Oxidoreductase (PfNDH2)

A program was undertaken to identify hit compounds against NADH:ubiquinone oxidoreductase (PfNDH2), a dehydrogenase of the mitochondrial electron transport chain of the malaria parasite Plasmodium falciparum. PfNDH2 has only one known inhibitor, hydroxy-2-dodecyl-4-(1H)-quinolone (HDQ), and this was used along with a range of chemoinformatics methods in the rational selection of 17 000 compounds for high-throughput screening. Twelve distinct chemotypes were identified and briefly examined leading to the selection of the quinolone core as the key target for structure-activity relationship (SAR) development. Extensive structural exploration led to the selection of 2-bisaryl 3-methyl quinolones as a series for further biological evaluation. The lead compound within this series 7-chloro-3-methyl-2-(4-(4-(trifluoromethoxy)benzyl)phenyl)quinolin-4(1H)-one (CK-2-68) has antimalarial activity against the 3D7 strain of P. falciparum of 36 nM, is selective for PfNDH2 over other respiratory enzymes (inhibitory IC(50) against PfNDH2 of 16 nM), and demonstrates low cytotoxicity and high metabolic stability in the presence of human liver microsomes. This lead compound and its phosphate pro-drug have potent in vivo antimalarial activity after oral administration, consistent with the target product profile of a drug for the treatment of uncomplicated malaria. Other quinolones presented (e.g., 6d, 6f, 14e) have the capacity to inhibit both PfNDH2 and P. falciparum cytochrome bc(1), and studies to determine the potential advantage of this dual-targeting effect are in progress

Indigenous crop diversity maintained despite the introduction of major global crops in an African centre of agrobiodiversity

Societal Impact Statement The global success and expansion of a small pool of major crops, including rice, wheat and maize, risks homogenising global agriculture. Focusing on the agriculturally diverse Ethiopian Highlands, this study tested whether farm diversity tends to be lower among farmers who grow more introduced crops. Surprisingly, it was found that farmers have successfully integrated introduced crops, resulting in more diverse and heterogenous farms without negatively impacting indigenous crop diversity. This is encouraging because diverse farms, comprising indigenous agricultural systems supplemented by introduced crops, may help address global challenges such as food insecurity. Summary The global expansion of a handful of major crops risks eroding indigenous crop diversity and homogenising agroecosystems, with significant consequences for sustainable and resilient food systems. Here, we investigate the farm-scale impact of introduced crops on indigenous agroecosystems. We surveyed 1369 subsistence farms stratified across climate gradients in the Ethiopian Highlands, a hotspot of agrobiodiversity, to characterise the richness and cultivated area of the 83 edible crops they contained. We further categorise these crops as being indigenous to Ethiopia, or introduced across three different eras. We apply non-metric multidimensional scaling and mixed effects modelling to characterise agroecosystem composition across farms with different proportions of introduced crops. Crops from different periods do not differ significantly in frequency or abundance across farms. Among geographically matched pairs of farms, those with higher proportions of modern introduced crops had significantly higher overall crop richness. Furthermore, farms with a high proportion of modern introduced crops showed higher heterogeneity in crop composition. An analysis of socio-economic drivers indicated that poverty is negatively associated with the cultivated area of introduced crops. In our Ethiopian case study, global patterns of major crop expansion are not necessarily associated with agrobiodiversity loss at the farm scale or higher homogeneity across indigenous agricultural systems. Importantly, socioeconomic factors may influence farmers' propensity to adopt novel species, suggesting targets for agricultural extension policies. Given the rapid climatic, economic and demographic changes impacting global food systems and the threats to food security these entail, robust indigenous agricultural systems enriched with diverse introduced crops may help maintain resilience

Sebetralstat (KVD900): A Potent and Selective Small Molecule Plasma Kallikrein Inhibitor Featuring a Novel P1 Group as a Potential Oral On-Demand Treatment for Hereditary Angioedema

Hereditary angioedema (HAE) is a rare genetic disorder in which patients experience sudden onset of swelling in various locations of the body. HAE is associated with uncontrolled plasma kallikrein (PKa) enzyme activity and generation of the potent inflammatory mediator, bradykinin, resulting in episodic attacks of angioedema. Herein, we disclose the discovery and optimization of novel small molecule PKa inhibitors. Starting from molecules containing highly basic P1 groups, which typically bind to an aspartic acid residue (Asp189) in the serine protease S1 pocket, we identified novel P1 binding groups likely to have greater potential for oral-drug-like properties. The optimization of P4 and the central core together with the particularly favorable properties of 3-fluoro-4-methoxypyridine P1 led to the development of sebetralstat, a potent, selective, orally bioavailable PKa inhibitor in phase 3 for on-demand treatment of HAE attacks

Effects of antiplatelet therapy on stroke risk by brain imaging features of intracerebral haemorrhage and cerebral small vessel diseases: subgroup analyses of the RESTART randomised, open-label trial

Background Findings from the RESTART trial suggest that starting antiplatelet therapy might reduce the risk of recurrent symptomatic intracerebral haemorrhage compared with avoiding antiplatelet therapy. Brain imaging features of intracerebral haemorrhage and cerebral small vessel diseases (such as cerebral microbleeds) are associated with greater risks of recurrent intracerebral haemorrhage. We did subgroup analyses of the RESTART trial to explore whether these brain imaging features modify the effects of antiplatelet therapy