@misc{indiciaecfad992ed7f8, title = {Modified Condition/Decision Coverage in the GNU Compiler Collection}, author = {Jørgen Kvalsvik}, year = {2025}, url = {https://arxiv.org/abs/2501.02133}, note = {Source identifier: 2501.02133} }