Cited By
View all- Borzacchiello LCoppa EDemetrescu C(2021)Fuzzing Symbolic ExpressionsProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00071(711-722)Online publication date: 22-May-2021
- Trabish DRinetzky NKhurshid SPăsăreanu C(2020)Relocatable addressing model for symbolic executionProceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3395363.3397363(51-62)Online publication date: 18-Jul-2020
- Lin JJiang LAi CChao S(2020)A Shape-inference-based Approach to Enhance Constraint Independence OptimizationProceedings of the 2020 4th International Conference on Cryptography, Security and Privacy10.1145/3377644.3377665(141-145)Online publication date: 10-Jan-2020
- Show More Cited By