1. Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Lukás Holík Ahmed Rezine Philipp Rümmer and Jari Stenman. 2014. Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Lukás Holík Ahmed Rezine Philipp Rümmer and Jari Stenman. 2014.
2. String Constraints for Verification
3. Semantic differential repair for input validation and sanitization
4. Abdulbaki Aydin. 2017. Abdulbaki Aydin. 2017.
5. Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. dissertation. University of California Santa Barbara. https://www.alexandria.ucsb.edu/lib/ark:/48907/f3xp754k Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. dissertation. University of California Santa Barbara. https://www.alexandria.ucsb.edu/lib/ark:/48907/f3xp754k