Tao Xie - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

DyTa: dynamic symbolic execution guided with static verification resultsXi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann. ICSE 2011: 992-994 [doi]

Model Checking for Verification of Mandatory Access Control Models and PropertiesVincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun Hwang. ijseke, 21(1):103-127, 2011. [doi]

Database state generation via dynamic symbolic execution for coverage criteriaKai Pan, Xintao Wu, Tao Xie. sigmod 2011: 4 [doi]

An Empirical Study on Evolution of API DocumentationLin Shi, Hao Zhong, Tao Xie, Mingshu Li. FASE 2011: 416-431 [doi]

eXpress: guided path exploration for efficient regression test generationKunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. ISSTA 2011: 1-11 [doi]

Alattin: mining alternative patterns for defect detectionSuresh Thummalapenta, Tao Xie. ASE, 18(3-4):293-323, 2011. [doi]

Retrofitting Unit Tests for Parameterized Unit TestingSuresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. FASE 2011: 294-309 [doi]

Pex4Fun: Teaching and learning computer science via social gamingNikolai Tillmann, Jonathan de Halleux, Tao Xie. csee 2011: 546-548 [doi]

Proceedings of the 8th International Working Conference on Mining Software Repositories, MSR 2011 (Co-located with ICSE), Waikiki, Honolulu, HI, USA, May 21-28, 2011, ProceedingsArie van Deursen, Tao Xie, Thomas Zimmermann, editors, IEEE, 2011.

Covana: precise identification of problems in pexXusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. ICSE 2011: 1004-1006 [doi]

Precise identification of problems for structural test generationXusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. ICSE 2011: 611-620 [doi]

Inferring specifications for resources from natural language API documentationHao Zhong, Lu Zhang, Tao Xie, Hong Mei. ASE, 18(3-4):227-261, 2011. [doi]

2010

FIRE: A File Reunion Based Data Replication Strategy for Data GridsAbdul Rahman Abdurrab, Tao Xie. ccgrid 2010: 215-223 [doi]

RTOS-aware refinement for TLM2.0-based HW/SW designsMarkus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller 0003, Graziano Pravadelli, Tao Xie. date 2010: 1053-1058 [doi]

Identifying security bug reports via text mining: An industrial case studyMichael Gegick, Pete Rotella, Tao Xie. msr 2010: 11-20 [doi]

Test input reduction for result inspection to facilitate fault localizationDan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, Hong Mei. ASE, 17(1):5-31, 2010. [doi]

Mining software engineering dataAhmed E. Hassan, Tao Xie. ICSE 2010: 503-504 [doi]

Software intelligence: the future of mining software engineering dataAhmed E. Hassan, Tao Xie. FSE 2010: 161-166 [doi]

Text mining in supporting software systems risk assuranceLiGuo Huang, Daniel Port, Liang Wang, Tao Xie, Tim Menzies. kbse 2010: 163-166 [doi]

The HiBench benchmark suite: Characterization of the MapReduce-based data analysisShengsheng Huang, Jie Huang, Jinquan Dai, Tao Xie, Bo Huang. icde 2010: 41-51 [doi]

ACPT: A Tool for Modeling and Verifying Access Control PoliciesJeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay. policy 2010: 40-43 [doi]

Mining Likely Properties of Access Control Policies via Association Rule MiningJeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay. dbsec 2010: 193-208 [doi]

OCAT: object capture-based automated testingHojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang. ISSTA 2010: 159-170 [doi]

Automated Behavioral Regression TestingWei Jin, Alessandro Orso, Tao Xie. icst 2010: 137-146 [doi]

BERT: a tool for behavioral regression testingWei Jin, Alessandro Orso, Tao Xie. FSE 2010: 361-362 [doi]

Perturbation-based user-input-validation testing of web applicationsNuo Li, Tao Xie, Maozhong Jin, Chao Liu 0002. jss, 83(11):2263-2274, 2010. [doi]

Automatic construction of an effective training set for prioritizing static analysis warningsGuangtai Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, Hong Mei. kbse 2010: 93-102 [doi]

Guided test generation for coverage criteriaRahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. ICSM 2010: 1-10 [doi]

The Research of CR-based WSNs ArchitectureYi Peng, Hua Long, Tao Xie, QingZhi Du. icee 2010: 2179-2182 [doi]

Gulf stream thermal fronts detected by synthetic aperture radarWilliam Perrie, Tao Xie. igarss 2010: 2426-2427 [doi]

JDF: detecting duplicate bug reports in JazzYoonki Song, Xiaoyin Wang, Tao Xie, Lu Zhang, Hong Mei. ICSE 2010: 315-316 [doi]

MiTV: multiple-implementation testing of user-input validators for web applicationsKunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann. kbse 2010: 131-134 [doi]

MODA: automated test generation for database applications via mock objectsKunal Taneja, Yi Zhang, Tao Xie. kbse 2010: 289-292 [doi]

Parameterized unit testing: theory and practiceNikolai Tillmann, Jonathan de Halleux, Tao Xie. ICSE 2010: 483-484 [doi]

Locating need-to-translate constant strings in web applicationsXiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun. FSE 2010: 87-96 [doi]

Teaching and training developer-testing techniques and tool supportTao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte. OOPSLA 2010: 175-182 [doi]

Future of developer testing: building quality in codeTao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. FSE 2010: 415-420 [doi]

Efficient Mutation-Analysis Coverage for Constrained Random VerificationTao Xie, Wolfgang Müller 0003, Florian Letombe. ifip10-3 2010: 114-124 [doi]

Test generation via Dynamic Symbolic Execution for mutation testingLingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei. ICSM 2010: 1-10 [doi]

Is operator-based mutant selection superior to random mutant selection?Lu Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, Hong Mei. ICSE 2010: 435-444 [doi]

Random unit-test generation with MUT-aware sequence recommendationWujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie. kbse 2010: 293-296 [doi]

Mining API mapping for language migrationHao Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang, Qing Wang. ICSE 2010: 195-204 [doi]

2009

Mining API Error-Handling Specifications from Source CodeMithun Acharya, Tao Xie. FASE 2009: 370-384 [doi]

A Novel Isotropic Scatter Distribution Wideband MIMO M2M Fading Channel ModelWei Chen, Zhiyi He, Tao Xie, Wei Zhou. cnsr 2009: 443-445 [doi]

Interactive Fault Localization Using Test InformationDan Hao, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun. jcst, 24(5):962-974, 2009. [doi]

Automated test data generation for aspect-oriented programsMark Harman, Fayezin Islam, Tao Xie, Stefan Wappler. AOSD 2009: 185-196 [doi]

Fault Localization for Firewall PoliciesJeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu. srds 2009: 100-106 [doi]

Detection of Multiple-Duty-Related Security Leakage in Access Control PoliciesJeeHyun Hwang, Tao Xie, Vincent C. Hu. ssiri 2009: 65-74 [doi]

Reggae: Automated Test Generation for Programs Using Complex Regular ExpressionsNuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. kbse 2009: 515-519 [doi]

An Empirical Study of Testing File-System-Dependent Software with Mock ObjectsMadhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. ICSE 2009: 149-153 [doi]

A UML frontend for IP-XACT-based IP managementTim Schattkowsky, Tao Xie, Wolfgang Mueller. date 2009: 238-243 [doi]

User-Perceived Service Availability: A Metric and an Estimation ApproachLingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang, Bing Xie, Hong Mei. icws 2009: 647-654 [doi]

Guided path exploration for regression test generationKunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. ICSE 2009: 311-314 [doi]

On automated prepared statement generation to remove SQL injection vulnerabilitiesStephen Thomas, Laurie Williams, Tao Xie. INFSOF, 51(3):589-598, 2009. [doi]

Alattin: Mining Alternative Patterns for Detecting Neglected ConditionsSuresh Thummalapenta, Tao Xie. kbse 2009: 283-294 [doi]

MSeqGen: object-oriented unit-test generation via mining source codeSuresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. FSE 2009: 193-202 [doi]

Mining exception-handling rules as sequence association rulesSuresh Thummalapenta, Tao Xie. ICSE 2009: 496-506 [doi]

DORA: A Dynamic File Assignment Strategy with ReplicationJonathan Tjioe, Renata Widjaja, Abraham Lee, Tao Xie. icpp 2009: 148-155 [doi]

Locating need-to-translate constant strings for software internationalizationXiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun. ICSE 2009: 353-363 [doi]

TranStrL: An automatic need-to-translate string locator for software internationalizationXiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun. ICSE 2009: 555-558 [doi]

Fitness-guided path exploration in dynamic symbolic executionTao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. dsn 2009: 359-368 [doi]

Data Mining for Software EngineeringTao Xie, Suresh Thummalapenta, David Lo, Chao Liu 0001. Computer, 42(8):55-62, 2009. [doi]

Collaboration-Oriented Data Recovery for Mobile Disk ArraysTao Xie, Abhinav Sharma. icdcs 2009: 631-638 [doi]

Time-aware test-case prioritization using integer linear programmingLu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei. ISSTA 2009: 213-224 [doi]

Test selection for result inspection via mining predicate rulesWujie Zheng, Michael R. Lyu, Tao Xie. ICSE 2009: 219-222 [doi]

Inferring Resource Specifications from Natural Language API DocumentationHao Zhong, Lu Zhang, Tao Xie, Hong Mei. kbse 2009: 307-318 [doi]

MAPO: Mining and Recommending API Usage PatternsHao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei. ECOOP 2009: 318-343 [doi]

2008

Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ ProgramsPrasanth Anbalagan, Tao Xie. issre 2008: 239-248 [doi]

Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, USTevfik Bultan, Tao Xie, editors, ACM, 2008.

Workshop on testing, analysis and verification of web software (TAV-WEB 2008)Tevfik Bultan, Tao Xie. ISSTA 2008: 311-312 [doi]

DSD-Crasher: A hybrid analysis tool for bug findingChristoph Csallner, Yannis Smaragdakis, Tao Xie. TOSEM, 17(2), 2008. [doi]

Quota-constrained test-case prioritization for regression testing of service-centric systemsShan-Shan Hou, Lu Zhang, Tao Xie, Jiasu Sun. ICSM 2008: 257-266 [doi]

Property Verification for Generic Access Control ModelsVincent C. Hu, D. Richard Kuhn, Tao Xie. euc 2008: 243-250 [doi]

Systematic Structural Testing of Firewall PoliciesJeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu. srds 2008: 105-114 [doi]

Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic ExecutionKobi Inkumsah, Tao Xie. ASE 2008: 297-306 [doi]

Multiple-implementation testing for XACML implementationsNuo Li, JeeHyun Hwang, Tao Xie. ISSTA 2008: 27-33 [doi]

Xengine: a fast and scalable XACML policy evaluation engineAlex X. Liu, Fei Chen, JeeHyun Hwang, Tao Xie. sigmetrics 2008: 265-276 [doi]

A static data placement strategy towards perfect load-balancing for distributed storage clustersDeepthi K. Madathil, Rajani B. Thota, Paulina Paul, Tao Xie. ipps 2008: 1-8 [doi]

Assessing Quality of Policy Properties in Verification of Access Control PoliciesEvan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu. acsac 2008: 163-172 [doi]

BERT: BEhavioral Regression TestingAlessandro Orso, Tao Xie. ISSTA 2008: 36-42 [doi]

Dynamic Availability Estimation for Service Selection Based on Status IdentificationLingshuang Shao, Lu Zhang, Tao Xie, Junfeng Zhao, Bing Xie, Hong Mei. icws 2008: 645-652 [doi]

DiffGen: Automated Regression Unit-Test GenerationKunal Taneja, Tao Xie. ASE 2008: 407-410 [doi]

SpotWeb: detecting framework hotspots via mining open source repositories on the webSuresh Thummalapenta, Tao Xie. msr 2008: 109-112 [doi]

SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the WebSuresh Thummalapenta, Tao Xie. ASE 2008: 327-336 [doi]

An approach to detecting duplicate bug reports using natural language and execution informationXiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, Jiasu Sun. ICSE 2008: 461-470 [doi]

SAIL: Self-Adaptive File Reallocation on Hybrid Disk ArraysTao Xie, Deepthi K. Madathil. hipc 2008: 529-540 [doi]

Improving software reliability and productivity via mining program source codeTao Xie, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja. ipps 2008: 1-5 [doi]

MICRO: A Multilevel Caching-Based Reconstruction Optimization for Mobile Storage SystemsTao Xie, Hui Wang. TC, 57(10):1386-1398, 2008. [doi]

2007

Mining API patterns as partial orders from source code: from usage scenarios to specificationsMithun Acharya, Tao Xie, Jian Pei, Jun Xu. ESEC/FSE 2007: 25-34 [doi]

Automated Inference of Pointcuts in Aspect-Oriented RefactoringPrasanth Anbalagan, Tao Xie. ICSE 2007: 127-136 [doi]

A framework and tool supports for testing modularity of software designYuanfang Cai, Sunny Huynh, Tao Xie. ASE 2007: 441-444 [doi]

Applying Interface-Contract Mutation in Regression Testing of Component-Based SoftwareShan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun. ICSM 2007: 174-183 [doi]

Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programsKobi Inkumsah, Tao Xie. ASE 2007: 425-428 [doi]

WebSob: A Tool for Robustness Testing of Web ServicesEvan Martin, Suranjana Basu, Tao Xie. ICSE 2007: 65-66 [doi]

A fault model and mutation testing of access control policiesEvan Martin, Tao Xie. WWW 2007: 667-676 [doi]

UnitPlus: assisting developer testing in EclipseYoonki Song, Suresh Thummalapenta, Tao Xie. eclipse 2007: 26-30 [doi]

Automated detection of api refactorings in librariesKunal Taneja, Danny Dig, Tao Xie. ASE 2007: 377-380 [doi]

Parseweb: a programmer assistant for reusing open source code on the webSuresh Thummalapenta, Tao Xie. ASE 2007: 204-213 [doi]

Towards a Framework for Differential Unit Testing of Object-Oriented ProgramsTao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov. ICSE 2007: 17-23 [doi]

Mining Software Engineering DataTao Xie, Jian Pei, Ahmed E. Hassan. ICSE 2007: 172-173 [doi]

PreviousNext