Cited By
View all- Sondhi DPurandare RZimmermann TLawall JMarinov D(2019)SegateProceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2019.00028(200-212)Online publication date: 10-Nov-2019
- Zhang XGong YWang YXing YZhang M(2017)Automated String Constraints Solving for Programs Containing String Manipulation FunctionsJournal of Computer Science and Technology10.1007/s11390-017-1787-y32:6(1125-1135)Online publication date: 8-Dec-2017
- Aydin ABang LBultan T(2015)Automata-Based Model Counting for String ConstraintsComputer Aided Verification10.1007/978-3-319-21690-4_15(255-272)Online publication date: 16-Jul-2015
- Show More Cited By