The following publications are possibly variants of this publication:
- Scalable and precise program analysis at NECGogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang. FMCAD 2010: 273-274 [doi]
- VFix: value-flow-guided precise program repair for null pointer dereferencesXuezheng Xu, Yulei Sui, Hua Yan, Jingling Xue. ICSE 2019: 512-523 [doi]
- Faire: Repairing Fairness of Neural Networks via Neuron Condition SynthesisTianlin Li, Xiaofei Xie, Jian Wang, Qing Guo 0005, Aishan Liu, Lei Ma 0003, Yang Liu. TOSEM, 33(1), January 2024. [doi]
- Oracle-free repair synthesis for floating-point programsDaming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong 0001, Zhendong Su 0001. PACMPL, 6(OOPSLA2):957-985, 2022. [doi]