2018 article
Are Vulnerabilities Discovered and Resolved like Other Defects?
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), pp. 498–498.
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
Inferring method specifications from natural language API descriptions
2012 34th international conference on software engineering (icse), 815–825.
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
Covana: Precise identification of problems in Pex
2011 33rd International Conference on Software Engineering (ICSE), 1004–1006.
2011 conference paper
Precise identification of problems for structural test generation
2011 33rd International Conference on Software Engineering (ICSE), 611–620.
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.
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.