@misc{indiciae025063490719,
  title = {ComPort: Rigorous Testing Methods to Safeguard Software Porting (Final Technical Report)},
  author = {Gopalakrishnan, Ganesh [Univ. of Utah, Salt Lake City, UT (United States)] (ORCID:0000000241619278)},
  year = {2025},
  doi = {10.2172/2552951},
  url = {https://www.osti.gov/biblio/2552951},
  note = {Source identifier: 2552951}
}