1. 2023. AWS IOT Device SDK: always false condition. https://github.com/aws/aws-iot-device-sdk-embedded-C/pull/1861/commits/f312ea3eaaec04d09cfbe4fda0daf89e995da454
2. 2023. Nvidia open-gpu kernel modules: always false condition. https://github.com/NVIDIA/open-gpu-kernel-modules/pull/493/commits/527cb9d50c42a3fa91946e67eaa085f8eeb71ce5
3. Mithun Acharya, Tao Xie, Jian Pei, and Jun Xu. 2007. Mining API patterns as partial orders from source code: from usage scenarios to specifications. In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The Foundations of Software Engineering (FSE). 25--34.
4. LDSFI: a Lightweight Dynamic Software-based Fault Injection
5. Mansour Ahmadi, Reza Mirzazade Farkhani, Ryan Williams, and Long Lu. 2021. Finding bugs using your own code: detecting functionally-similar yet inconsistent code. In 30th USENIX Security Symposium (USENIX Security 21). 2025--2040.