Function exclusion in automated security patch testing using chopped symbolic execution

Thai, Phan Ninh and Viet, Hung Nguyen and Shone, Nathan and Babenko, Mikhail (2021) Function exclusion in automated security patch testing using chopped symbolic execution. In: UNSPECIFIED.

Text
87.Function exclusion in automated security patch testing using chopped symbolic execution.pdf
Download (181kB) | Preview

Official URL: https://doi.org/10.1109/NICS54270.2021.9701542

Item Type:	Conference or Workshop Item (UNSPECIFIED)
Divisions:	Faculties > Faculty of Information Technology
Identification Number:	10.1109/NICS54270.2021.9701542
URI:	http://eprints.lqdtu.edu.vn/id/eprint/10376

Actions (login required)

: View Item