Relating the Empirical Foundations of Attack Generation and Vulnerability Discovery. - Tyler Westland; Nan Niu; Rashmi Jha; David Kapp; Temesguen Kebede (IRI, 2020)

Semi-Automatic Bug Generation Using Test Case Negation. - Tyler Westland; Nan Niu; Rashmi Jha; David Kapp; Temesguen Kebede (CSR, 2021)