Saha, Eiers, Kadron, Bang, Bultan, 2019. Incremental Adaptive Attack Synthesis.