2013 conference paper
Characteristic studies of loop problems for structural test generation via symbolic execution
2013 28th ieee/acm international conference on automated software engineering (ase), 246–256.
2012 journal article
Advances on improving automation in developer testing
Advances in Computers, Vol 85, 85, 165–212.
2012 conference paper
User-aware privacy control via extended static-information-flow analysis
2012 proceedings of the 27th ieee/acm international conference on automated software engineering (ase), 80–89.
2011 conference paper
Problem identification for structural test generation: First step towards cooperative developer testing
2011 33rd International Conference on Software Engineering (ICSE), 1179–1181.