@misc{indiciae237f9cfac986, title = {Challenges Problems for Correctness in Scientific Computing}, author = {Tekriwal, Mohit [Lawrence Livermore National Laboratory] and Sottile, Matt [Lawrence Livermore National Laboratory] and Sarracino, John [Lawrence Livermore National Laboratory]}, year = {2025}, url = {https://www.osti.gov/biblio/2589566}, note = {Source identifier: 2589566} }