BibSLEIGH — Tao

Travelled to:

1 × Austria
1 × Belgium
1 × Croatia
1 × Hungary
1 × Israel
1 × Japan
1 × New Zealand
1 × Romania
1 × Russia
1 × Sweden
1 × The Netherlands
17 × USA
2 × South Africa
2 × Switzerland
2 × United Kingdom
4 × France
5 × Canada
5 × China
5 × Germany
7 × Italy

Collaborated with:

N.Tillmann J.d.Halleux S.Thummalapenta D.Zhang H.Mei L.Zhang K.Taneja D.Notkin X.Xiao ∅ H.Zhong J.Bishop J.Sun X.Wang M.Acharya K.Inkumsah D.Marinov S.Han J.Pei S.Hou E.Martin Y.Dang W.Jin A.Orso W.Schulte G.Liang Q.Wang N.Li S.Li W.Yang W.Müller A.E.Hassan J.Xu P.Anbalagan A.Michail B.Busjaeger J.Lou Q.Lin R.Ding Q.Fu S.Kim W.Zheng M.R.Lyu A.M.Paradkar R.Pandita L.Xu M.R.Marri Y.Lei D.R.Kuhn R.Kacker Q.Wu M.Moskal M.Fähndrich M.R.Prasad K.Pan X.Wu Y.Zhang M.Gegick P.Rotella T.Schattkowsky Y.Cai S.Huynh D.Dig H.Yuan M.Xue X.Zhou X.P.0001 J.S.0001 C.Ji X.Yu M.Grechanik R.Ghani L.Shi M.Li X.Ge Q.Zhang H.Jaygarl C.K.Chang T.Sharma Q.Wang L.Dou L.H.0001 R.N.Horspool S.Gulwani J.Hwang D.E.Kateb T.Mouelhi Y.L.Traon Y.Tao Y.Xiong S.Ge L.S.G.Ghandehari H.Ma I.King Z.Su L.Huang D.Port L.Wang T.Menzies Y.Song J.Hu Q.Wang C.Guo J.Anvik M.d'Amorim C.Pacheco M.D.Ernst W.Yuan X.Chen F.Yang Z.Ren C.Liu H.Jiang A.Shi W.Lam R.Oei B.Andow W.Enck J.Wang H.Zhang K.Chen S.Oney K.Shakya L.Wu M.Becker G.D.Guglielmo F.Fummi G.Pravadelli L.Zhang W.Bu Y.Zhou Z.Tang H.Zhou H.Lin T.Xiao H.Lin W.Lin J.Shen A.Samuel W.Li D.Ding L.Gu W.Niu T.Jin C.Pan H.Qian D.Liu Q.Xiang C.He

Talks about:

test (50) generat (20) mine (18) softwar (16) autom (15) unit (12) code (12) program (11) api (11) system (10)

♂ Person: Tao Xie

DBLP: Xie:Tao

Facilitated 21 volumes:

PrCo

SCo

ExpertReviewPa

PrBoard

PrCo

SCo

PrCo

SCo

PrCo

PrCh

SCo

PrCo

PrCh

ExpertReviewPa

PrBoard

PrCo

PrCh

PrCo

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

1998

2016

2017

2018

2019

Wrote 109 papers:

ICSE-v1-2015-YangXALXE #behaviour #mobile #named #using: AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context (WY, XX, BA, SL, TX, WE), pp. 303–313.
ICSE-v2-2015-BishopHXTH #contest #experience #scalability: Code Hunt: Experience with Coding Contests at Scale (JB, RNH, TX, NT, JdH), pp. 398–407.
ASE-2014-TillmannHX #automation #generative #testing: Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
ASPLOS-2014-YuHZX #execution #performance: Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.
ISSTA-2014-TillmannHXB: Constructing coding duels in Pex4Fun and code hunt (NT, JdH, TX, JB), pp. 445–448.
ASE-2013-LouLDFZX #case study #experience #online: Software analytics for incident management of online services: An experience report (JGL, QL, RD, QF, DZ, TX), pp. 475–485.
ASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing: Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
ASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing: Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
ESEC-FSE-2013-LiangWXM #debugging #detection: Inferring project-specific bug patterns for detecting sibling bugs (GL, QW, TX, HM), pp. 565–575.
FASE-2013-YangPX #approach #automation #generative #mobile: A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
FASE-2013-ZhongTX #api #behaviour #difference: Exposing Behavioral Differences in Cross-Language API Mapping Relations (HZ, ST, TX), pp. 130–145.
ICSE-2013-LiZLXLLX #distributed #source code: A characteristic study on failures of production distributed data-parallel programs (SL, HZ, HL, TX, HL, WL, TX), pp. 963–972.
ICSE-2013-TillmannHXGB #education #game studies #interactive #learning #programming #re-engineering: Teaching and learning programming and software engineering via interactive gaming (NT, JdH, TX, SG, JB), pp. 1117–1126.
ICSE-2013-ZhangX #challenge: Pathways to technology transfer and adoption: achievements and challenges (DZ, TX), pp. 951–952.
ICSE-2013-ZhangXa #challenge: Software analytics: achievements and challenges (DZ, TX), p. 1487.
ISSTA-2013-XiaoHZX #identification #performance: Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (XX, SH, DZ, TX), pp. 90–100.
MSR-2013-FuLLDZX #analysis #behaviour #comprehension: Contextual analysis of program logs for understanding system behaviors (QF, JGL, QL, RD, DZ, TX), pp. 397–400.
MSR-2013-WangDZCXZ #api #mining #source code: Mining succinct and high-coverage API usage patterns from source code (JW, YD, HZ, KC, TX, DZ), pp. 319–328.
ASE-2012-DingFLLZSX #mining #online #repository: Healing online service systems via mining historical issue repositories (RD, QF, JGL, QL, DZ, JS, TX), pp. 318–321.
ASE-2012-HwangXKMT #evolution #policy #security #testing: Selection of regression system tests for security policy evolution (JH, TX, DEK, TM, YLT), pp. 266–269.
CSEET-2012-TillmannHXB #education #game studies #learning #named #social: Pex4Fun: Teaching and Learning Computer Science via Social Gaming (NT, JdH, TX, JB), pp. 90–91.
CSEET-2012-TillmannMHFX #education #mobile #student #using: Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop (NT, MM, JdH, MF, TX), pp. 87–89.
CSEET-2012-ZhangDHX #education: Teaching and Training for Software Analytics (DZ, YD, SH, TX), p. 92.
FSE-2012-TaoDXZK #case study #how #industrial: How do software engineers understand code changes?: an exploratory study in industry (YT, YD, TX, DZ, SK), p. 51.
FSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web: Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
FSE-2012-XiaoPTX #automation #documentation #policy #security: Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
ICSE-2012-HanDGZX #debugging #in the large #mining #performance #stack: Performance debugging in the large via mining millions of stack traces (SH, YD, SG, DZ, TX), pp. 145–155.
ICSE-2012-PanditaXZXOP #api #natural language #specification: Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
ICSE-2012-ZhangX #tutorial: Software analytics in practice: Mini tutorial (DZ, TX), p. 997.
ICST-2012-GhandehariLXKK #combinator #identification #testing: Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.
ICST-2012-ShakyaXLLKK #classification #combinator #testing #using: Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (KS, TX, NL, YL, RK, DRK), pp. 620–623.
ITiCSE-2012-TillmannMHFBSX #education #future of #mobile #programming: The future of teaching programming is on mobile devices (NT, MM, JdH, MF, JB, AS, TX), pp. 156–161.
SCAM-2012-Xie #analysis #testing: Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done (TX), pp. 1–3.
ASE-2011-PanWX #database #generative #testing: Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
ASE-2011-WuLWXM #mining #specification: Iterative mining of resource-releasing specifications (QW, GL, QW, TX, HM), pp. 233–242.
ASE-2011-ZhengMLXK #mining #testing #web: Mining test oracles of web search engines (WZ, HM, MRL, TX, IK), pp. 408–411.
CSEET-2011-TillmannHX #education #game studies #learning #named #social: Pex4Fun: Teaching and learning computer science via social gaming (NT, JdH, TX), pp. 546–548.
ESEC-FSE-2011-TanejaGGX #privacy #testing: Testing software in age of data privacy: a balancing act (KT, MG, RG, TX), pp. 201–211.
FASE-2011-ShiZXL #api #documentation #empirical #evolution: An Empirical Study on Evolution of API Documentation (LS, HZ, TX, ML), pp. 416–431.
FASE-2011-ThummalapentaMXTH #testing: Retrofitting Unit Tests for Parameterized Unit Testing (ST, MRM, TX, NT, JdH), pp. 294–309.
ICSE-2011-GeTXT #execution #named #symbolic computation #verification: DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
ICSE-2011-XiaoXTH #generative #identification #precise #problem #testing: Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
ICSE-2011-XiaoXTH11a #identification #named #precise #problem: Covana: precise identification of problems in pex (XX, TX, NT, JdH), pp. 1004–1006.
ISSTA-2011-TanejaXTH #generative #named #performance #testing: eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
OOPSLA-2011-ThummalapentaXTHS #sequence #testing: Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
ASE-2010-HuangPWXM #assurance #mining: Text mining in supporting software systems risk assurance (LH, DP, LW, TX, TM), pp. 163–166.
ASE-2010-LiangWWWXM #automation #effectiveness #set #static analysis: Automatic construction of an effective training set for prioritizing static analysis warnings (GL, LW, QW, QW, TX, HM), pp. 93–102.
ASE-2010-TanejaLMXT #multi #named #testing #validation #web: MiTV: multiple-implementation testing of user-input validators for web applications (KT, NL, MRM, TX, NT), pp. 131–134.
ASE-2010-TanejaZX #automation #database #generative #named #testing: MODA: automated test generation for database applications via mock objects (KT, YZ, TX), pp. 289–292.
ASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing: Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
DATE-2010-BeckerGF0PX #design #refinement: RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.
FSE-2010-JinOX #behaviour #named #testing: BERT: a tool for behavioral regression testing (WJ, AO, TX), pp. 361–362.
FSE-2010-WangZXMS #constant #string #web: Locating need-to-translate constant strings in web applications (XW, LZ, TX, HM, JS), pp. 87–96.
ICSE-2010-HassanX #mining #re-engineering: Mining software engineering data (AEH, TX), pp. 503–504.
ICSE-2010-SongWXZM #debugging #detection #named: JDF: detecting duplicate bug reports in Jazz (YS, XW, TX, LZ, HM), pp. 315–316.
ICSE-2010-TillmannHX #testing #theory and practice: Parameterized unit testing: theory and practice (NT, JdH, TX), pp. 483–484.
ICSE-2010-ZhangHHXM #question #random: Is operator-based mutant selection superior to random mutant selection? (LZ, SSH, JJH, TX, HM), pp. 435–444.
ICSE-2010-ZhongTXZW #api #migration #mining: Mining API mapping for language migration (HZ, ST, TX, LZ, QW), pp. 195–204.
ICSM-2010-PanditaXTH #generative #test coverage #testing: Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing: Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
ICST-2010-JinOX #automation #behaviour #testing: Automated Behavioral Regression Testing (WJ, AO, TX), pp. 137–146.
ISSTA-2010-JaygarlKXC #automation #named #testing: OCAT: object capture-based automated testing (HJ, SK, TX, CKC), pp. 159–170.
MSR-2010-GegickRX #case study #debugging #identification #industrial #mining #security: Identifying security bug reports via text mining: An industrial case study (MG, PR, TX), pp. 11–20.
ASE-2009-LiXTHS #automation #generative #named #regular expression #source code #testing #using: Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (NL, TX, NT, JdH, WS), pp. 515–519.
ASE-2009-ThummalapentaX #detection #mining #named: Alattin: Mining Alternative Patterns for Detecting Neglected Conditions (ST, TX), pp. 283–294.
ASE-2009-ZhongZXM #api #documentation #natural language #specification: Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.
DATE-2009-SchattkowskyXM #uml: A UML frontend for IP-XACT-based IP management (TS, TX, WM), pp. 238–243.
ECOOP-2009-ZhongXZPM #api #mining #named #recommendation: MAPO: Mining and Recommending API Usage Patterns (HZ, TX, LZ, JP, HM), pp. 318–343.
ESEC-FSE-2009-ThummalapentaXTHS #generative #mining #named #object-oriented #source code #testing: MSeqGen: object-oriented unit-test generation via mining source code (ST, TX, NT, JdH, WS), pp. 193–202.
FASE-2009-AcharyaX #api #mining #source code #specification: Mining API Error-Handling Specifications from Source Code (MA, TX), pp. 370–384.
ICSE-2009-ThummalapentaX #mining #sequence: Mining exception-handling rules as sequence association rules (ST, TX), pp. 496–506.
ICSE-2009-WangZXMS #constant #string: Locating need-to-translate constant strings for software internationalization (XW, LZ, TX, HM, JS), pp. 353–363.
ICSE-2009-WangZXMS09a #automation #named #string: TranStrL: An automatic need-to-translate string locator for software internationalization (XW, LZ, TX, HM, JS), pp. 555–558.
ISSTA-2009-ZhangHGXM #integer #linear #programming #testing #using: Time-aware test-case prioritization using integer linear programming (LZ, SSH, CG, TX, HM), pp. 213–224.
ASE-2008-InkumsahX #execution #object-oriented #source code #symbolic computation #testing: Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (KI, TX), pp. 297–306.
ASE-2008-TanejaX #automation #generative #named #testing: DiffGen: Automated Regression Unit-Test Generation (KT, TX), pp. 407–410.
ASE-2008-ThummalapentaX #detection #framework #mining #named #open source #source code #web: SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web (ST, TX), pp. 327–336.
ICSE-2008-WangZXAS #approach #debugging #detection #execution #natural language #using: An approach to detecting duplicate bug reports using natural language and execution information (XW, LZ, TX, JA, JS), pp. 461–470.
ICSM-2008-HouZXS #testing: Quota-constrained test-case prioritization for regression testing of service-centric systems (SSH, LZ, TX, JS), pp. 257–266.
MSR-2008-ThummalapentaX #detection #framework #mining #named #open source #repository #web: SpotWeb: detecting framework hotspots via mining open source repositories on the web (ST, TX), pp. 109–112.
ASE-2007-CaiHX #composition #design #framework #testing #tool support: A framework and tool supports for testing modularity of software design (YC, SH, TX), pp. 441–444.
ASE-2007-InkumsahX #framework #named #object-oriented #source code #testing: Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs (KI, TX), pp. 425–428.
ASE-2007-TanejaDX #api #automation #detection #library #refactoring: Automated detection of api refactorings in libraries (KT, DD, TX), pp. 377–380.
ASE-2007-ThummalapentaX #named #open source #reuse #source code #web: Parseweb: a programmer assistant for reusing open source code on the web (ST, TX), pp. 204–213.
ESEC-FSE-2007-AcharyaXPX #api #mining #partial order #source code #specification: Mining API patterns as partial orders from source code: from usage scenarios to specifications (MA, TX, JP, JX), pp. 25–34.
ICSE-2007-AnbalaganX #aspect-oriented #automation #refactoring: Automated Inference of Pointcuts in Aspect-Oriented Refactoring (PA, TX), pp. 127–136.
ICSM-2007-HouZXMS #component #interface #testing: Applying Interface-Contract Mutation in Regression Testing of Component-Based Software (SSH, LZ, TX, HM, JS), pp. 174–183.
ASE-2006-AcharyaSXX #effectiveness #generative #interface #robust #static analysis: Effective Generation of Interface Robustness Properties for Static Analysis (MA, TS, JX, TX), pp. 293–296.
ASE-2006-dAmorimPXME #automation #classification #comparison #empirical #generative #object-oriented #testing: An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (Md, CP, TX, DM, MDE), pp. 59–68.
ECOOP-2006-Xie #automation #testing: Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (TX), pp. 380–403.
ICSE-2006-MartinX #analysis #comprehension #interface #string: Understanding software application interfaces via string analysis (EM, TX), pp. 901–904.
ICSE-2006-XieMY #automation #state machine: Automatic extraction of abstract-object-state machines from unit-test executions (TX, EM, HY), pp. 835–838.
ICSM-2006-Xie #automation #effectiveness #specification #testing: Improving Effectiveness of Automated Software Testing in the Absence of Specifications (TX), pp. 355–359.
MSR-2006-XieP #api #mining #named #open source #repository: MAPO: mining API usages from open source repositories (TX, JP), pp. 54–57.
ICSE-2005-MichailX #debugging #user interface: Helping users avoid bugs in GUI applications (AM, TX), pp. 107–116.
TACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #symbolic computation #testing #using: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.
ASE-2004-XieMN #detection #framework #named #object-oriented #testing: Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (TX, DM, DN), pp. 196–205.
ICSM-2004-XieN #black box #difference #testing: Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.
ASE-2003-XieN #testing: Tool-Assisted Unit Test Selection Based on Operational Violations (TX, DN), pp. 40–48.
FATES-2003-XieN #generative #specification #testing: Mutually Enhancing Test Generation and Specification Inference (TX, DN), pp. 60–69.
TOOLS-ASIA-1998-YuanCXMY #analysis #c++ #database #information management #tool support: C++ Program Information Database for Analysis Tools (WY, XC, TX, HM, FY), pp. 173–180.
FSE-2016-BusjaegerX #case study #industrial #learning: Learning for test prioritization: an industrial case study (BB, TX), pp. 975–980.
ESEC-FSE-2017-BuXXZTX #android #industrial #internet #mobile #program analysis #security: When program analysis meets mobile security: an industrial study of misusing Android internet sockets (WB, MX, LX, YZ, ZT, TX), pp. 842–847.
ASE-2018-ZhouPX0LJD #debugging: Delta debugging microservice systems (XZ, XP0, TX, JS0, WL, CJ, DD), pp. 802–807.
ESEC-FSE-2018-WangGXXNDHX #automation #black box #named #testing: FACTS: automated black-box testing of FinTech systems (QW, LG, MX, LX, WN, LD, LH0, TX), pp. 839–844.
ASE-2019-RenLXJX #analysis #locality: Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing (ZR, CL, XX, HJ, TX), pp. 527–538.
ESEC-FSE-2019-JinWXPDQ0X #generative #named #testing: FinExpert: domain-specific test generation for FinTech systems (TJ, QW, LX, CP, LD, HQ, LH0, TX), pp. 853–862.
ESEC-FSE-2019-ShiLOXM #automation #framework #named #testing: iFixFlakies: a framework for automatically fixing order-dependent flaky tests (AS, WL, RO, TX, DM), pp. 545–555.
ESEC-FSE-2019-Zhou0X0JLXH #fault #learning #locality #predict: Latent error prediction and fault localization for microservice applications by learning from system trace logs (XZ, XP0, TX, JS0, CJ, DL, QX, CH), pp. 683–694.