Theory makes beautiful programs - Jørgen Kvalsvik - NDC TechTown 2022

I wrote a patch. Modified/condition decision coverage (MC/DC) is a useful tool for code correctness and is particularly important in safety oriented industries like automotive and aerospace. While there are techniques for doing it manually, condition coverage benefits greatly from tooling. I designed an algorithm for figuring out condition coverage from control flow graphs and implemented it in gcc. This talk covers what MC/DC is, why you should do it, and shows why a little bit of theory can make very beautiful programs. Check out more of our featured speakers and talks at https://www.ndcconferences.com https://ndctechtown.com/