Publications

  1. X Fu., M. C. Powell, M. Bantegui, and C-C. Li "Simple Linear String Constraints." Technical Report (Journal Version Under Review). July 2011.

  2. X. Fu and K. Qian, " Evolutionary Security Testing of Web Applications (Fast Abstract)." (To appear) in Proceedings of The 21st IEEE International Symposium on Software Reliability Engineering, San Jose, CA, USA, November 1 - 4, 2010 .

  3. X. Fu, " Relational Constraint Driven Test Case Synthesis forWeb Applications ." In Proceedings of Fourth International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2010), DOI: 10.4204/EPTCS.35, ISSN: 2075-2180, Antwerp, Belgium, 21 September 2010. Presentation (PPT)

  4. X. Fu, " Conformance Verification of Privacy Policies ." (To appear) in Proceedings of 7th International Workshop on Web Services and Formal Methods Formal aspects of service oriented and cloud computing (WS-FM'10), Hoboken, New Jersey, USA, September 16-17, 2010. Presentation (PPT)

  5. X. Fu and C.C. Li, " A String Constraint Solver for Detecting Web Application Vulnerability ." In Proceedings of The 22nd International Conference on Software Engineering and Knowledge Engineering, Redwood City, San Francisco Bay, USA July 1 - July 3, 2010 . Presentation (PPT)

  6. X. Fu and C.C. Li, " Modeling Regular Replacement for String Constraint Solving." In Proceedings of the Second NASA Formal Methods Symposium, pp. 67-76, Washington D.C., USA, April 13 - 15, 2010 . Presentation (PPT)

  7. X. Fu, and K. Qian. "SAFELI: SQL injection scanner using symbolic execution." In Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications (TAV-WEB 2008), held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), pp. 34-39, Seattle, Washington, USA. July, 2008.

  8. X. Fu, X. Lu, K. Qian, B. Peltsverger, L. Tao, and S. Chen. "A Static Analysis Framework for Detecting SQL Injection Vulnerabilities." In Proceedings of the 31st IEEE Annual Computer Software and Applications Conference (COMPSAC 2007), Beijing, July 2007.