Cited By
View all- Meng RDong ZLi JBeschastnikh IRoychoudhury ADwyer MDamian DZeller A(2022)Linear-time temporal logic guided greybox fuzzingProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510082(1343-1355)Online publication date: 21-May-2022
- Zhang YChen ZShuai ZZhang TLi KWang JGrundy JLe Goues CLo D(2020)Multiplex symbolic executionProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3416645(846-857)Online publication date: 21-Dec-2020
- Wang DHoffmann J(2019)Type-guided worst-case input generationProceedings of the ACM on Programming Languages10.1145/32903263:POPL(1-30)Online publication date: 2-Jan-2019
- Show More Cited By