CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models | IEEE Conference Publication | IEEE Xplore