Towards concolic testing for hybrid systems

Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate whether we can combine random sampling and symbolic execution in order to effectively verify hybrid systems. We identify a sufficient condition under which such a combination is more effective than random sampling. Furthermore, we analyze different strategies of combining random sampling and symbolic execution and propose an algorithm which allows us to dynamically switch between them so as to reduce the overall cost. Our method has been implemented as a web-based checker named HYCHECKER. HYCHECKER has been evaluated with benchmark hybrid systems and a water treatment system in order to test its effectiveness.CPCI-S(ISTP)[email protected]; [email protected]

LMTK3 confers chemo-resistance in breast cancer

Lemur tyrosine kinase 3 (LMTK3) is an oncogenic kinase that is involved in different types of cancer (breast, lung, gastric, colorectal) and biological processes including proliferation, invasion, migration, chromatin remodeling as well as innate and acquired endocrine resistance. However, the role of LMTK3 in response to cytotoxic chemotherapy has not been investigated thus far. Using both 2D and 3D tissue culture models, we found that overexpression of LMTK3 decreased the sensitivity of breast cancer cell lines to cytotoxic (doxorubicin) treatment. In a mouse model we showed that ectopic overexpression of LMTK3 decreases the efficacy of doxorubicin in reducing tumor growth. Interestingly, breast cancer cells overexpressing LMTK3 delayed the generation of double strand breaks (DSBs) after exposure to doxorubicin, as measured by the formation of γH2AX foci. This effect was at least partly mediated by decreased activity of ataxia-telangiectasia mutated kinase (ATM) as indicated by its reduced phosphorylation levels. In addition, our RNA-seq analyses showed that doxorubicin differentially regulated the expression of over 700 genes depending on LMTK3 protein expression levels. Furthermore, these genes were found to promote DNA repair, cell viability and tumorigenesis processes / pathways in LMTK3-overexpressing MCF7 cells. In human cancers, immunohistochemistry staining of LMTK3 in pre- and postchemotherapy breast tumor pairs from four separate clinical cohorts revealed a significant increase of LMTK3 following both doxorubicin and docetaxel based chemotherapy. In aggregate, our findings show for the first time a contribution of LMTK3 in cytotoxic drug resistance in breast cancer