North Carolina State University
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j24 |      | Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun: Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis. IEEE Trans. Software Eng. 39(4): 516-536 (2013) |
| c160 | | Hao Zhong, Suresh Thummalapenta, Tao Xie: Exposing Behavioral Differences in Cross-Language API Mapping Relations. FASE 2013: 130-145 |
| c159 | | Wei Yang, Mukul R. Prasad, Tao Xie: A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. FASE 2013: 250-265 |
| i10 | | Chengqing Li, Tao Xie, Qi Liu: Cryptanalyzing an image encryption scheme based on logistic map. CoRR abs/1301.4089 (2013) |
| i9 | | Tao Xie, Fanbao Liu, Dengguo Feng: Fast Collision Attack on MD5. IACR Cryptology ePrint Archive 2013: 170 (2013) |
| 2012 | ||
| j23 | | Xusheng Xiao, Suresh Thummalapenta, Tao Xie: Advances on Improving Automation in Developer Testing. Advances in Computers 85: 165-212 (2012) |
| j22 | | Yueqian Fan, Tao Xie, Jianguo Du: Complex dynamics of duopoly game with heterogeneous players: A further analysis of the output model. Applied Mathematics and Computation 218(15): 7829-7838 (2012) |
| j21 | | Hong Mei, Gang Huang, Tao Xie: Internetware: A Software Paradigm for Internet Computing. IEEE Computer 45(6): 26-31 (2012) |
| j20 | | Fanbao Liu, Tao Xie, Yumeng Feng, Dengguo Feng: On the security of PPPoE network. Security and Communication Networks 5(10): 1159-1168 (2012) |
| j19 | | Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux: Environmental Modeling for Automated Cloud Application Testing. IEEE Software 29(2): 30-35 (2012) |
| j18 | | Fei Chen, Alex X. Liu, JeeHyun Hwang, Tao Xie: First step towards automatic correction of firewall policy faults. TAAS 7(2): 27 (2012) |
| j17 | | JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu: Systematic Structural Testing of Firewall Policies. IEEE Transactions on Network and Service Management 9(1): 1-11 (2012) |
| c158 | | Yingnong Dang, Dongmei Zhang, Song Ge, Chengyun Chu, Yingjun Qiu, Tao Xie: XIAO: tuning code clones at hands of engineers in practice. ACSAC 2012: 369-378 |
| c157 | | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie: Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T 2012: 87-89 |
| c156 | | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop: Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T 2012: 90-91 |
| c155 | | Dongmei Zhang, Yingnong Dang, Shi Han, Tao Xie: Teaching and Training for Software Analytics. CSEE&T 2012: 92 |
| c154 | | Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller: Binary mutation testing through dynamic translation. DSN 2012: 1-12 |
| c153 | | Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller: XEMU: an efficient QEMU based binary mutation testing framework for embedded software. EMSOFT 2012: 33-42 |
| c152 | | Shi Han, Yingnong Dang, Song Ge, Dongmei Zhang, Tao Xie: Performance debugging in the large via mining millions of stack traces. ICSE 2012: 145-155 |
| c151 | | Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, Amit M. Paradkar: Inferring method specifications from natural language API descriptions. ICSE 2012: 815-825 |
| c150 | | |
| c149 | | Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker: Identifying Failure-Inducing Combinations in a Combinatorial Test Set. ICST 2012: 370-379 |
| c148 | | Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn: Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. ICST 2012: 620-623 |
| c147 | | Hai-lan Kuang, William Perrie, Wei Chen, Tao Xie, Xin-hua Liu, Biao Zhang: Thermal front retreivals from SAR imagery. IGARSS 2012: 2637-2640 |
| c146 | | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie: The future of teaching programming is on mobile devices. ITiCSE 2012: 156-161 |
| c145 | | JeeHyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon: Selection of regression system tests for security policy evolution. ASE 2012: 266-269 |
| c144 | | Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Jiajun Shen, Tao Xie: Healing online service systems via mining historical issue repositories. ASE 2012: 318-321 |
| c143 | | Jonathan Tjioe, Andrés Blanco, Tao Xie, Yiming Ouyang: Making Garbage Collection Wear Conscious for Flash SSD. NAS 2012: 114-123 |
| c142 | | Tao Xie: Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done. SCAM 2012: 1-3 |
| c141 | | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop: Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE 2012: 659 |
| c140 | | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie: Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE 2012: 663 |
| c139 | | Xusheng Xiao, Amit M. Paradkar, Suresh Thummalapenta, Tao Xie: Automated extraction of security policies from natural-language software documents. SIGSOFT FSE 2012: 12 |
| c138 | | Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, Hong Mei: Automating presentation changes in dynamic web applications via collaborative hybrid analysis. SIGSOFT FSE 2012: 16 |
| c137 | | Yida Tao, Yingnong Dang, Tao Xie, Dongmei Zhang, Sunghun Kim: How do software engineers understand code changes?: an exploratory study in industry. SIGSOFT FSE 2012: 51 |
| c136 | | Tao Xie, Wolfgang Müller, Florian Letombe: Mutation-analysis driven functional verification of a soft microprocessor. SoCC 2012: 283-288 |
| c135 | | Fanbao Liu, Changxiang Shen, Tao Xie: Equivalent Inner Key Recovery Attack to NMAC. CISIS/ICEUTE/SOCO Special Sessions 2012: 67-75 |
| c134 | | Qiang Fu, Jian-Guang Lou, Qingwei Lin, Rui Ding, Dongmei Zhang, Zihao Ye, Tao Xie: Performance Issue Diagnosis for Online Service Systems. SRDS 2012: 273-278 |
| c133 | | JeeHyun Hwang, Vincent C. Hu, Tao Xie: Paradigm in Verification of Access Control. SERE (Companion) 2012: 193 |
| c132 | | |
| c131 | | Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon, JeeHyun Hwang, Tao Xie: Refactoring access control policies for performance improvement. ICPE 2012: 323-334 |
| i8 | | Chengqing Li, Yuansheng Liu, Tao Xie: Breaking a novel image encryption scheme based on improved hyperchaotic sequences. CoRR abs/1211.3553 (2012) |
| 2011 | ||
| j16 | | Hao Zhong, Lu Zhang, Tao Xie, Hong Mei: Inferring specifications for resources from natural language API documentation. Autom. Softw. Eng. 18(3-4): 227-261 (2011) |
| j15 | | Suresh Thummalapenta, Tao Xie: Alattin: mining alternative patterns for defect detection. Autom. Softw. Eng. 18(3-4): 293-323 (2011) |
| j14 | | Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun Hwang: Model Checking for Verification of Mandatory Access Control Models and Properties. International Journal of Software Engineering and Knowledge Engineering 21(1): 103-127 (2011) |
| j13 | | Alex X. Liu, Fei Chen, JeeHyun Hwang, Tao Xie: Designing Fast and Scalable XACML Policy Evaluation Engines. IEEE Trans. Computers 60(12): 1802-1817 (2011) |
| c130 | | Yitao Ni, Lu Zhang, Zhong Jie Li, Tao Xie, Hong Mei: Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs. IEEE SCC 2011: 209-217 |
| c129 | | Nikolai Tillmann, Jonathan de Halleux, Tao Xie: Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T 2011: 546-548 |
| c128 | | Tao Xie, Wolfgang Müller, Florian Letombe: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD 2011: 608-615 |
| c127 | | Hongyan Wang, Xiaobiao Shan, Tao Xie, Muwen Fang: Analyses of impedance matching for piezoelectric energy harvester with a resistive circuit. EMEIT 2011: 1679-1683 |
| c126 | | Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Retrofitting Unit Tests for Parameterized Unit Testing. FASE 2011: 294-309 |
| c125 | | Lin Shi, Hao Zhong, Tao Xie, Mingshu Li: An Empirical Study on Evolution of API Documentation. FASE 2011: 416-431 |
| c124 | | Tao Xie, Wolfgang Müller, Florian Letombe: IP-XACT based system level mutation testing. HLDVT 2011: 65-71 |
| c123 | | Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Precise identification of problems for structural test generation. ICSE 2011: 611-620 |
| c122 | | Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann: DyTa: dynamic symbolic execution guided with static verification results. ICSE 2011: 992-994 |
| c121 | | Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Covana: precise identification of problems in pex. ICSE 2011: 1004-1006 |
| c120 | | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: eXpress: guided path exploration for efficient regression test generation. ISSTA 2011: 1-11 |
| c119 | | |
| c118 | | Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei: Iterative mining of resource-releasing specifications. ASE 2011: 233-242 |
| c117 | | Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, Irwin King: Mining test oracles of web search engines. ASE 2011: 408-411 |
| c116 | | Tao Xie, Janak Koshia: Boosting random write performance for enterprise flash storage systems. MSST 2011: 1-10 |
| c115 | | Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su: Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206 |
| c114 | | Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie: Browser-based software for technology transfer. SAICSIT Conf. 2011: 338-340 |
| c113 | | Kai Pan, Xintao Wu, Tao Xie: Database state generation via dynamic symbolic execution for coverage criteria. DBTest 2011: 4 |
| c112 | | Kunal Taneja, Mark Grechanik, Rayid Ghani, Tao Xie: Testing software in age of data privacy: a balancing act. SIGSOFT FSE 2011: 201-211 |
| e2 |  | Arie van Deursen, Tao Xie, Thomas Zimmermann (Eds.): 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, Proceedings. IEEE 2011, isbn 978-1-4503-0574-7 |
| i7 | | Fanbao Liu, Yi Liu, Tao Xie, Yumeng Feng: Fast Password Recovery Attack: Application to APOP. IACR Cryptology ePrint Archive 2011: 248 (2011) |
| i6 | | Fanbao Liu, Tao Xie, Changxiang Shen: Breaking H2-MAC Using Birthday Paradox. IACR Cryptology ePrint Archive 2011: 647 (2011) |
| i5 | | Fanbao Liu, Changxiang Shen, Tao Xie, Dengguo Feng: On the Security of NMAC and Its Variants. IACR Cryptology ePrint Archive 2011: 649 (2011) |
| 2010 | ||
| j12 | | Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, Hong Mei: Test input reduction for result inspection to facilitate fault localization. Autom. Softw. Eng. 17(1): 5-31 (2010) |
| j11 | | Nuo Li, Tao Xie, Maozhong Jin, Chao Liu: Perturbation-based user-input-validation testing of web applications. Journal of Systems and Software 83(11): 2263-2274 (2010) |
| c111 | | Abdul Rahman Abdurrab, Tao Xie: FIRE: A File Reunion Based Data Replication Strategy for Data Grids. CCGRID 2010: 215-223 |
| c110 | | Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie: RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE 2010: 1053-1058 |
| c109 | | JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay: Mining Likely Properties of Access Control Policies via Association Rule Mining. DBSec 2010: 193-208 |
| c108 | | Shengsheng Huang, Jie Huang, Jinquan Dai, Tao Xie, Bo Huang: The HiBench benchmark suite: Characterization of the MapReduce-based data analysis. ICDE Workshops 2010: 41-51 |
| c107 | | Yi Peng, Hua Long, Tao Xie, QingZhi Du: The Research of CR-based WSNs Architecture. ICEE 2010: 2179-2182 |
| c106 | | Hao Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang, Qing Wang: Mining API mapping for language migration. ICSE (1) 2010: 195-204 |
| c105 | | Yoonki Song, Xiaoyin Wang, Tao Xie, Lu Zhang, Hong Mei: JDF: detecting duplicate bug reports in Jazz. ICSE (2) 2010: 315-316 |
| c104 | | Lu Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, Hong Mei: Is operator-based mutant selection superior to random mutant selection? ICSE (1) 2010: 435-444 |
| c103 | | Nikolai Tillmann, Jonathan de Halleux, Tao Xie: Parameterized unit testing: theory and practice. ICSE (2) 2010: 483-484 |
| c102 | | |
| c101 | | Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Guided test generation for coverage criteria. ICSM 2010: 1-10 |
| c100 | | Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei: Test generation via Dynamic Symbolic Execution for mutation testing. ICSM 2010: 1-10 |
| c99 | | |
| c98 | | Tao Xie, Wolfgang Müller, Florian Letombe: Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC 2010: 114-124 |
| c97 | | William Perrie, Tao Xie: Gulf stream thermal fronts detected by synthetic aperture radar. IGARSS 2010: 2426-2427 |
| c96 | | Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang: OCAT: object capture-based automated testing. ISSTA 2010: 159-170 |
| c95 | | Guangtai Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, Hong Mei: Automatic construction of an effective training set for prioritizing static analysis warnings. ASE 2010: 93-102 |
| c94 | | Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann: MiTV: multiple-implementation testing of user-input validators for web applications. ASE 2010: 131-134 |
| c93 | | LiGuo Huang, Daniel Port, Liang Wang, Tao Xie, Tim Menzies: Text mining in supporting software systems risk assurance. ASE 2010: 163-166 |
| c92 | | Kunal Taneja, Yi Zhang, Tao Xie: MODA: automated test generation for database applications via mock objects. ASE 2010: 289-292 |
| c91 | | Wujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie: Random unit-test generation with MUT-aware sequence recommendation. ASE 2010: 293-296 |
| c90 | | Michael Gegick, Pete Rotella, Tao Xie: Identifying security bug reports via text mining: An industrial case study. MSR 2010: 11-20 |
| c89 | | Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte: Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182 |
| c88 | | JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay: ACPT: A Tool for Modeling and Verifying Access Control Policies. POLICY 2010: 40-43 |
| c87 | | Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun: Locating need-to-translate constant strings in web applications. SIGSOFT FSE 2010: 87-96 |
| c86 | | Ahmed E. Hassan, Tao Xie: Software intelligence: the future of mining software engineering data. FoSER 2010: 161-166 |
| c85 | | Wei Jin, Alessandro Orso, Tao Xie: BERT: a tool for behavioral regression testing. SIGSOFT FSE 2010: 361-362 |
| c84 | | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Future of developer testing: building quality in code. FoSER 2010: 415-420 |
| r1 | | JeeHyun Hwang, Evan Martin, Tao Xie, Vincent C. Hu: Policy-Based Testing. Encyclopedia of Software Engineering 2010: 673-683 |
| i4 | | Tao Xie, Dengguo Feng: Construct MD5 Collisions Using Just A Single Block Of Message. IACR Cryptology ePrint Archive 2010: 643 (2010) |
| 2009 | ||
| j10 | | Tao Xie, Suresh Thummalapenta, David Lo, Chao Liu: Data Mining for Software Engineering. IEEE Computer 42(8): 55-62 (2009) |
| j9 | | Stephen Thomas, Laurie Williams, Tao Xie: On automated prepared statement generation to remove SQL injection vulnerabilities. Information & Software Technology 51(3): 589-598 (2009) |
| j8 | | Dan Hao, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun: Interactive Fault Localization Using Test Information. J. Comput. Sci. Technol. 24(5): 962-974 (2009) |
| c83 | | Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler: Automated test data generation for aspect-oriented programs. AOSD 2009: 185-196 |
| c82 | | |
| c81 | | Ting Yu, Dhivya Sivasubramanian, Tao Xie: Security policy testing via automated program code generation. CSIIRW 2009: 13 |
| c80 | | Tim Schattkowsky, Tao Xie, Wolfgang Müller: A UML frontend for IP-XACT-based IP management. DATE 2009: 238-243 |
| c79 | | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368 |
| c78 | | Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei: MAPO: Mining and Recommending API Usage Patterns. ECOOP 2009: 318-343 |
| c77 | | Mithun Acharya, Tao Xie: Mining API Error-Handling Specifications from Source Code. FASE 2009: 370-384 |
| c76 | | Tao Xie, Abhinav Sharma: Collaboration-Oriented Data Recovery for Mobile Disk Arrays. ICDCS 2009: 631-638 |
| c75 | | Jonathan Tjioe, Renata Widjaja, Abraham Lee, Tao Xie: DORA: A Dynamic File Assignment Strategy with Replication. ICPP 2009: 148-155 |
| c74 | | Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153 |
| c73 | | Wujie Zheng, Michael R. Lyu, Tao Xie: Test selection for result inspection via mining predicate rules. ICSE Companion 2009: 219-222 |
| c72 | | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Guided path exploration for regression test generation. ICSE Companion 2009: 311-314 |
| c71 | | Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun: Locating need-to-translate constant strings for software internationalization. ICSE 2009: 353-363 |
| c70 | | Suresh Thummalapenta, Tao Xie: Mining exception-handling rules as sequence association rules. ICSE 2009: 496-506 |
| c69 | | Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun: TranStrL: An automatic need-to-translate string locator for software internationalization. ICSE 2009: 555-558 |
| c68 | | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Mutation Analysis of Parameterized Unit Tests. ICST Workshops 2009: 177-181 |
| c67 | | Lingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang, Bing Xie, Hong Mei: User-Perceived Service Availability: A Metric and an Estimation Approach. ICWS 2009: 647-654 |
| c66 | | Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei: Time-aware test-case prioritization using integer linear programming. ISSTA 2009: 213-224 |
| c65 | | Suresh Thummalapenta, Tao Xie: Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. ASE 2009: 283-294 |
| c64 | | |
| c63 | | Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519 |
| c62 | | Xiaobiao Shan, Tao Xie, Weishan Chen, Lili Wang: Modeling and simulation on the contact deformation distributionin a wire race ball bearing. ROBIO 2009: 2211-2214 |
| c61 | | Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202 |
| c60 | | JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu: Fault Localization for Firewall Policies. SRDS 2009: 100-106 |
| c59 | | JeeHyun Hwang, Tao Xie, Vincent C. Hu: Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. SSIRI 2009: 65-74 |
| i3 | | Tao Xie, Dengguo Feng: How To Find Weak Input Differences For MD5 Collision Attacks. IACR Cryptology ePrint Archive 2009: 223 (2009) |
| 2008 | ||
| j7 | | Tao Xie, Hui Wang: MICRO: A Multilevel Caching-Based Reconstruction Optimization for Mobile Storage Systems. IEEE Trans. Computers 57(10): 1386-1398 (2008) |
| j6 | | Christoph Csallner, Yannis Smaragdakis, Tao Xie: DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2) (2008) |
| c58 | | Evan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu: Assessing Quality of Policy Properties in Verification of Access Control Policies. ACSAC 2008: 163-172 |
| c57 | | Vincent C. Hu, D. Richard Kuhn, Tao Xie: Property Verification for Generic Access Control Models. EUC (2) 2008: 243-250 |
| c56 | | Tao Xie, Deepthi K. Madathil: SAIL: Self-Adaptive File Reallocation on Hybrid Disk Arrays. HiPC 2008: 529-540 |
| c55 | | Xiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, Jiasu Sun: An approach to detecting duplicate bug reports using natural language and execution information. ICSE 2008: 461-470 |
| c54 | | Shan-Shan Hou, Lu Zhang, Tao Xie, Jiasu Sun: Quota-constrained test-case prioritization for regression testing of service-centric systems. ICSM 2008: 257-266 |
| c53 | | Lingshuang Shao, Lu Zhang, Tao Xie, Junfeng Zhao, Bing Xie, Hong Mei: Dynamic Availability Estimation for Service Selection Based on Status Identification. ICWS 2008: 645-652 |
| c52 | | Deepthi K. Madathil, Rajani B. Thota, Paulina Paul, Tao Xie: A static data placement strategy towards perfect load-balancing for distributed storage clusters. IPDPS 2008: 1-8 |
| c51 | | Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja: Improving software reliability and productivity via mining program source code. IPDPS 2008: 1-5 |
| c50 | | Prasanth Anbalagan, Tao Xie: Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs. ISSRE 2008: 239-248 |
| c49 | | Nuo Li, JeeHyun Hwang, Tao Xie: Multiple-implementation testing for XACML implementations. TAV-WEB 2008: 27-33 |
| c48 | | |
| c47 | | Tevfik Bultan, Tao Xie: Workshop on testing, analysis and verification of web software (TAV-WEB 2008). ISSTA 2008: 311-312 |
| c46 | | Kobi Inkumsah, Tao Xie: Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. ASE 2008: 297-306 |
| c45 | | Suresh Thummalapenta, Tao Xie: SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web. ASE 2008: 327-336 |
| c44 | | |
| c43 | | Suresh Thummalapenta, Tao Xie: SpotWeb: detecting framework hotspots via mining open source repositories on the web. MSR 2008: 109-112 |
| c42 | | Alex X. Liu, Fei Chen, JeeHyun Hwang, Tao Xie: Xengine: a fast and scalable XACML policy evaluation engine. SIGMETRICS 2008: 265-276 |
| c41 | | JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu: Systematic Structural Testing of Firewall Policies. SRDS 2008: 105-114 |
| e1 | | Tevfik Bultan, Tao Xie (Eds.): 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, USA, July 21, 2008. ACM 2008, isbn 978-1-60558-053-1 |
| i2 | | Tao Xie, Dengguo Feng, Fanbao Liu: A New Collision Differential For MD5 With Its Full Differential Path. IACR Cryptology ePrint Archive 2008: 230 (2008) |
| i1 | | Tao Xie, Fanbao Liu, Dengguo Feng: Could The 1-MSB Input Difference Be The Fastest Collision Attack For MD5 ? IACR Cryptology ePrint Archive 2008: 391 (2008) |
| 2007 | ||
| c40 | | Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie: Conformance Checking of Access Control Policies Specified in XACML. COMPSAC (2) 2007: 275-280 |
| c39 | | Yoonki Song, Suresh Thummalapenta, Tao Xie: UnitPlus: assisting developer testing in Eclipse. ETX 2007: 26-30 |
| c38 | | Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov: Towards a Framework for Differential Unit Testing of Object-Oriented Programs. AST 2007: 17-23 |
| c37 | | Evan Martin, Suranjana Basu, Tao Xie: WebSob: A Tool for Robustness Testing of Web Services. ICSE Companion 2007: 65-66 |
| c36 | | Prasanth Anbalagan, Tao Xie: Automated Inference of Pointcuts in Aspect-Oriented Refactoring. ICSE 2007: 127-136 |
| c35 | | |
| c34 | | Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun: Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. ICSM 2007: 174-183 |
| c33 | | Evan Martin, Suranjana Basu, Tao Xie: Automated Testing and Response Analysis ofWeb Services. ICWS 2007: 647-654 |
| c32 | | Suresh Thummalapenta, Tao Xie: Parseweb: a programmer assistant for reusing open source code on the web. ASE 2007: 204-213 |
| c31 | | Kunal Taneja, Danny Dig, Tao Xie: Automated detection of api refactorings in libraries. ASE 2007: 377-380 |
| c30 | | Kobi Inkumsah, Tao Xie: Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. ASE 2007: 425-428 |
| c29 | | Yuanfang Cai, Sunny Huynh, Tao Xie: A framework and tool supports for testing modularity of software design. ASE 2007: 441-444 |
| c28 | | Mithun Acharya, Tao Xie, Jian Pei, Jun Xu: Mining API patterns as partial orders from source code: from usage scenarios to specifications. ESEC/SIGSOFT FSE 2007: 25-34 |
| c27 | | Evan Martin, Tao Xie: A fault model and mutation testing of access control policies. WWW 2007: 667-676 |
| 2006 | ||
| j5 | | Tao Xie, David Notkin: Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. 13(3): 345-371 (2006) |
| j4 | | Prasanth Anbalagan, Tao Xie: Clamp: automated joinpoint clustering and pointcut mining in aspect-oriented refactoring. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| c26 | | Tao Xie, Jianjun Zhao: A framework and tool supports for generating test inputs of AspectJ programs. AOSD 2006: 190-201 |
| c25 | | Tao Xie: Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. ECOOP 2006: 380-403 |
| c24 | | Evan Martin, Tao Xie, Ting Yu: Defining and Measuring Policy Coverage in Testing Access Control Policies. ICICS 2006: 139-158 |
| c23 | | |
| c22 | | Tao Xie, Evan Martin, Hai Yuan: Automatic extraction of abstract-object-state machines from unit-test executions. ICSE 2006: 835-838 |
| c21 | | Evan Martin, Tao Xie: Understanding software application interfaces via string analysis. ICSE 2006: 901-904 |
| c20 | | Tao Xie: Improving Effectiveness of Automated Software Testing in the Absence of Specifications. ICSM 2006: 355-359 |
| c19 | | Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin: Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190 |
| c18 | | Mithun Acharya, Tao Xie, Jun Xu: Mining Interface Specifications for Generating Checkable Robustness Properties. ISSRE 2006: 311-320 |
| c17 | | Jianjun Zhao, Tao Xie, Nan Li: Towards regression test selection for AspectJ programs. WTAOP 2006: 21-26 |
| c16 | | Prasanth Anbalagan, Tao Xie: APTE: automated pointcut testing for AspectJ programs. WTAOP 2006: 27-32 |
| c15 | | Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst: An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE 2006: 59-68 |
| c14 | | Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie: Effective Generation of Interface Robustness Properties for Static Analysis. ASE 2006: 293-296 |
| c13 | | |
| c12 | | Evan Martin, Tao Xie: Inferring Access-Control Policy Properties via Machine Learning. POLICY 2006: 235-238 |
| 2005 | ||
| j3 | | Tao Xie, David Notkin: Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. IEEE Trans. Software Eng. 31(10): 869-883 (2005) |
| c11 | | |
| c10 | | Tao Xie, David Notkin: Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. ISSRE 2005: 277-287 |
| c9 | | Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381 |
| 2004 | ||
| j2 | | Yijun He, William Perrie, Tao Xie, Qingping Zou: Ocean wave spectra from a linear polarimetric SAR. IEEE T. Geoscience and Remote Sensing 42(11): 2623-2631 (2004) |
| c8 | | Tao Xie, David Notkin: Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. ICFEM 2004: 290-305 |
| c7 | | Tao Xie, David Notkin: Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. ICSM 2004: 28-37 |
| c6 | | Tao Xie, Darko Marinov, David Notkin: Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205 |
| c5 | | Tao Xie: Automatic identification of common and special object-oriented unit tests. OOPSLA Companion 2004: 324-325 |
| 2003 | ||
| c4 | | Tao Xie, David Notkin: Mutually Enhancing Test Generation and Specification Inference. FATES 2003: 60-69 |
| c3 | | Tao Xie, David Notkin: Tool-Assisted Unit Test Selection Based on Operational Violations. ASE 2003: 40-48 |
| 2002 | ||
| j1 | | Hong Mei, Tao Xie, Fuqing Yang: A Model-Based Approach to Object-Oriented Software Metrics. J. Comput. Sci. Technol. 17(6): 757-769 (2002) |
| 2001 | ||
| c2 | | Hong Mei, Tao Xie, Fuqing Yang: JBOORET: an Automated Tool to Recover OO Design and Source Models. COMPSAC 2001: 71-76 |
| 1998 | ||
| c1 | | Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing Yang: C++ Program Information Database for Analysis Tools. TOOLS (27) 1998: 173-180 |
Colors in the list of coauthors
Last update Sun May 19 10:36:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page