2020 article
Database-Access Performance Antipatterns in Database-Backed Web Applications
2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), pp. 58–69.
2018 journal article
A Combinatorial Testing-Based Approach to Fault Localization
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 46(6), 616–645.
2013 conference paper
A characteristic study on failures of production distributed data-parallel programs
Proceedings of the 35th International Conference on software engineering (ICSE 2013), 963–972.
2013 conference paper
Educational software engineering: Where software engineering, education, and gaming meet
2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS), 36–39.
2013 conference paper
The synergy of human and artificial intelligence in software engineering
International workshop on realizing artificial intelligence synergies in, 4–6.
2012 conference paper
Inferring method specifications from natural language API descriptions
2012 34th international conference on software engineering (icse), 815–825.
2012 journal article
Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39(4), 516–536.
2012 conference paper
Selection of regression system tests for security policy evolution
2012 proceedings of the 27th ieee/acm international conference on automated software engineering (ase), 266–269.
2011 journal article
Alattin: mining alternative patterns for defect detection
AUTOMATED SOFTWARE ENGINEERING, 18(3-4), 293–323.
2011 conference paper
Covana: Precise identification of problems in Pex
2011 33rd International Conference on Software Engineering (ICSE), 1004–1006.
2011 journal article
Designing Fast and Scalable XACML Policy Evaluation Engines
IEEE TRANSACTIONS ON COMPUTERS, 60(12), 1802–1817.
2011 conference paper
DyTa: Dynamic symbolic execution guided with static verification results
2011 33rd International Conference on Software Engineering (ICSE), 992–994.
2011 journal article
Environmental Modeling for Automated Cloud Application Testing
IEEE SOFTWARE, 29(2), 30–35.
2011 journal article
Inferring specifications for resources from natural language API documentation
AUTOMATED SOFTWARE ENGINEERING, 18(3-4), 227–261.
2011 journal article
MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 21(1), 103–127.
2011 conference paper
Precise identification of problems for structural test generation
2011 33rd International Conference on Software Engineering (ICSE), 611–620.
2011 journal article
Retrofitting unit tests for parameterized unit testing
Fundamental Approaches to Software Engineering, 6603, 294–309.
2011 article
Synthesizing Method Sequences for High-Coverage Testing
Thummalapenta, S., Xie, T., Tillmann, N., Halleux, J., & Su, Z. (2011, October). ACM SIGPLAN NOTICES, Vol. 46, pp. 189–206.
2010 conference paper
Guided test generation for coverage criteria
2010 ieee international conference on software maintenance.
2010 journal article
Perturbation-based user-input-validation testing of web applications
JOURNAL OF SYSTEMS AND SOFTWARE, 83(11), 2263–2274.
2009 article
Alattin: Mining Alternative Patterns for Detecting Neglected Conditions
2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 283–294.
2009 journal article
DATA MINING FOR SOFTWARE ENGINEERING
COMPUTER, 42(8), 55–62.
2009 article
Detection of Multiple-Duty-Related Security Leakage in Access Control Policies
2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, pp. 65–74.
2009 article
Fault Localization for Firewall Policies
2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, pp. 100-+.
2009 article
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), pp. 359-+.
2009 journal article
Interactive Fault Localization Using Test Information
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 24(5), 962–974.
2009 conference paper
MAPO: mining and recommending API usage patterns
Ecoop 2009 - object-oriented programming, 5653, 318–343.
2009 journal article
On automated prepared statement generation to remove SQL injection vulnerabilities
INFORMATION AND SOFTWARE TECHNOLOGY, 51(3), 589–598.
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.
2009 journal article
Test input reduction for result inspection to facilitate fault localization
AUTOMATED SOFTWARE ENGINEERING, 17(1), 5–31.
2008 article
DSD-Crasher: A hybrid analysis tool for bug finding
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Vol. 17.
2006 journal article
Augmenting automatically generated unit-test suites with regression oracle checking
Lecture Notes in Computer Science, (4067), 380–403.
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.