Zhao P, Wu X, Li Z and Zhao J. (2023). QChecker: Detecting Bugs in Quantum Programs via Static Analysis 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE). 10.1109/Q-SE59154.2023.00014. 979-8-3503-0180-9. (50-57).

https://ieeexplore.ieee.org/document/10189127/

Zhao P, Zhao J and Ma L. (2021). Identifying Bug Patterns in Quantum Programs 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). 10.1109/Q-SE52541.2021.00011. 978-1-6654-4462-0. (16-21).

https://ieeexplore.ieee.org/document/9474564/

Fabry J, De Roover C and Jonckers V. (2013). Aspectual source code analysis with GASR 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM). 10.1109/SCAM.2013.6648184. 978-1-4673-5739-5. (53-62).

http://ieeexplore.ieee.org/document/6648184/

Mitropoulos D, Gousios G and Spinellis D. Measuring the Occurrence of Security-Related Bugs through Software Evolution. Proceedings of the 2012 16th Panhellenic Conference on Informatics. (117-122).

https://doi.org/10.1109/PCi.2012.15

Shen H, Fang J and Zhao J. EFindBugs. Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation. (299-308).

https://doi.org/10.1109/ICST.2011.51

Lin Y, Zhang S and Zhao J. (2009). Incremental call graph reanalysis for AspectJ software 2009 IEEE International Conference on Software Maintenance (ICSM). 10.1109/ICSM.2009.5306311. 978-1-4244-4897-5. (306-315).

http://ieeexplore.ieee.org/document/5306311/

Salmi M and Parsa S. Automatic Detection of Infinite Recursion in AspectJ Programs. Proceedings of the 1st International Conference on Future Generation Information Technology. (190-197).

https://doi.org/10.1007/978-3-642-10509-8_22