1. A survey on software fault localization;Wong;IEEE Trans. Softw. Eng.,2016
2. A tool for checking ANSI-C programs;Clarke,2004
3. The astreé analyzer;Cousot,2005
4. Verifying numerical programs via iterative abstract testing;Yin,2019
5. Compositional software verification based on game semantics and process algebra;Dimovski;Int. J. Softw. Tools Technol. Transf.,2007