https://debconf16.debconf.org/talks/63/ https://debconf18.debconf.org/talks/90-mining-debian-maintai... https://debconf19.debconf.org/talks/105-symbolic-execution-o...