FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang. FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 1741-1745, ACM, 2022. [doi]

This author has not been identified. Look up 'Haoxin Tu' in GoogleThis author has not been identified. Look up 'Lingxiao Jiang' in GoogleThis author has not been identified. Look up 'Xuhua Ding' in GoogleThis author has not been identified. Look up 'He Jiang' in Google

runs on WebDSL