Cited By
View all- Wang QAppel A(2023)A Solver for Arrays with ConcatenationJournal of Automated Reasoning10.1007/s10817-022-09654-y67:1Online publication date: 7-Jan-2023
- Liu XYou WZhang ZZhang XRyu SSmaragdakis Y(2022)TensileFuzz: facilitating seed input generation in fuzzing via string constraint solvingProceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3533767.3534403(391-403)Online publication date: 18-Jul-2022
- Aiswarya CMal SSaivasan P(2022)On the Satisfiability of Context-free String Constraints with Subword-OrderingProceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3531130.3533329(1-13)Online publication date: 2-Aug-2022
- Show More Cited By