We introduce SEMu , a Dynamic Symbolic Execution technique that generates test inputs capable of killing stubborn mutants (killable remain undetected after reasonable amount testing). aims at mutant propagation (triggering erroneous states to the program output) by incrementally searching for divergent behaviors between original and versions. model problem as symbolic execution search within sp...

We consider spatial population dynamics on a lattice, following type of contact (birth–death) stochastic process. show that simple mathematical approximations for the density cells can be obtained in variety scenarios. In case homogeneous cell population, we derive cellular two-dimensional (2D) lattice with an arbitrary number neighbors, including von Neumann, Moore, and hexagonal lattice. then...

Shikimate kinase (SK) enzyme is a suitable target for antimicrobial drugs as it present in pathogenic microorganisms and absent mammals. A complete understanding of the functioning this can unveil novel methods to inactivate it. To do this, clear SK performance needed. Previously, chemical step was studied detail, but study longer-term scale simulations still missing. In work, we performed mole...

Genes encoding proteins involved in the early steps of protein glycosylation are dysregulated yeast RNA exosome mutants through mechanisms that involve increased accumulation noncoding RNAs, leading to cell wall instability.