Skip to main content

3 Result(s)

within Junye Wen Remove this filter

and

  1. Article

    Open Access

    Anti-HER2 scFv-CCL19-IL7 recombinant protein inhibited gastric tumor growth in vivo

    HER-2 targeted therapies, such as monoclonal antibodies (mAbs) and CAR-T cell therapy have been applied in the treatment of various of cancers. However, the anti-HER2 CAR-T cell therapy are limited by its expe...

    Haiqiang Zhang, Xueshuai Ye, Junye Wen, Ziqi Cai, Yang Li… in Scientific Reports (2022)

    Download PDF (2413 KB) View Article

  2. No Access

    Article

    A synergistic approach to improving symbolic execution using test ranges

    Symbolic execution is a systematic technique for checking programs, which has received a lot of research attention during the last decade. In principle, symbolic execution provides a powerful analysis for bug ...

    Guowei Yang, Rui Qiu, Sarfraz Khurshid… in Innovations in Systems and Software Engine… (2019)

  3. No Access

    Chapter and Conference Paper

    Using Test Ranges to Improve Symbolic Execution

    Symbolic execution is a powerful systematic technique for checking programs, which has received a lot of research attention during the last decade. In practice however, the technique remains hard to scale. Thi...

    Rui Qiu, Sarfraz Khurshid, Corina S. Păsăreanu, Junye Wen… in NASA Formal Methods (2018)