Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan. Incremental Attack Synthesis. ACM SIGSOFT Software Engineering Notes, 44(4):16, 2019. [doi]
@article{SahaEKBB19, title = {Incremental Attack Synthesis}, author = {Seemanta Saha and William Eiers and Ismet Burak Kadron and Lucas Bang and Tevfik Bultan}, year = {2019}, doi = {10.1145/3364452.336445759}, url = {https://doi.org/10.1145/3364452.336445759}, researchr = {https://researchr.org/publication/SahaEKBB19}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {44}, number = {4}, pages = {16}, }