Balancing Security and Correctness in Code Generation: An Empirical Study on Commercial Large Language Models | IEEE Journals & Magazine | IEEE Xplore