publications

publications by categories in reversed chronological order.

2020

  1. ATHENA: A Framework based on Diverse Weak Defenses for Building Adversarial Defense
    Meng, Ying, Su, Jianhai, O’Kane, Jason M, and Jamshidi, Pooyan
    arXiv 2020
  2. Understanding the Impact of Solver Choice in Model-Based Test Generation
    Meng, Ying, and Gay, Gregory
    International Symposium on Empirical Software Engineering and Measurement 2020

2019

    2018

    1. Ensuring the observability of structural test obligations
      Meng, Ying, Gay, Gregory, and Whalen, Michael
      IEEE Transactions on Software Engineering 2018
    2. Investigating faults missed by test suites achieving high code coverage
      Schwartz, Amanda, Puckett, Daniel, Meng, Ying, and Gay, Gregory
      Journal of Systems and Software 2018