Works (2)
2010 journal article
Perturbation-based user-input-validation testing of web applications
JOURNAL OF SYSTEMS AND SOFTWARE, 83(11), 2263–2274.

2009 article
Reggae: Automated Test Generation for Programs using Complex Regular Expressions
2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 515–519.