Tyler Westland, Nan Niu, Rashmi Jha, David Kapp, Temesguen Kebede. Semi-Automatic Bug Generation Using Test Case Negation. In IEEE International Conference on Cyber Security and Resilience, CSR 2021, Rhodes, Greece, July 26-28, 2021. pages 141-146, IEEE, 2021. [doi]
Abstract is missing.