The SCEAS System
Navigation Menu

Search the dblp DataBase


Tao Xie: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tao Xie, Jianjun Zhao
    A framework and tool supports for generating test inputs of AspectJ programs. [Citation Graph (0, 0)][DBLP]
    AOSD, 2006, pp:190-201 [Conf]
  2. Hong Mei, Tao Xie, Fuqing Yang
    JBOORET: an Automated Tool to Recover OO Design and Source Models. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:71-76 [Conf]
  3. Tao Xie
    Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:380-403 [Conf]
  4. Tao Xie, David Notkin
    Mutually Enhancing Test Generation and Specification Inference. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:60-69 [Conf]
  5. Tao Xie, David Notkin
    Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:290-305 [Conf]
  6. Evan Martin, Tao Xie, Ting Yu
    Defining and Measuring Policy Coverage in Testing Access Control Policies. [Citation Graph (0, 0)][DBLP]
    ICICS, 2006, pp:139-158 [Conf]
  7. Evan Martin, Tao Xie
    Understanding software application interfaces via string analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:901-904 [Conf]
  8. Amir Michail, Tao Xie
    Helping users avoid bugs in GUI applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:107-116 [Conf]
  9. Tao Xie, Evan Martin, Hai Yuan
    Automatic extraction of abstract-object-state machines from unit-test executions. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:835-838 [Conf]
  10. Prasanth Anbalagan, Tao Xie
    Automated Inference of Pointcuts in Aspect-Oriented Refactoring. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:127-136 [Conf]
  11. Tao Xie, David Notkin
    Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. [Citation Graph (0, 0)][DBLP]
    ICSM, 2004, pp:28-37 [Conf]
  12. Tao Xie
    Improving Effectiveness of Automated Software Testing in the Absence of Specifications. [Citation Graph (0, 0)][DBLP]
    ICSM, 2006, pp:355-359 [Conf]
  13. Tao Xie, David Notkin
    Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2005, pp:277-287 [Conf]
  14. Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
    Detecting Redundant Unit Tests for AspectJ Programs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:179-190 [Conf]
  15. Mithun Acharya, Tao Xie, Jun Xu
    Mining Interface Specifications for Generating Checkable Robustness Properties. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:311-320 [Conf]
  16. Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
    Effective Generation of Interface Robustness Properties for Static Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:293-296 [Conf]
  17. Tao Xie, Darko Marinov, David Notkin
    Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:196-205 [Conf]
  18. Tao Xie, David Notkin
    Tool-Assisted Unit Test Selection Based on Operational Violations. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:40-48 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:59-68 [Conf]
  20. Tao Xie, Jian Pei
    MAPO: mining API usages from open source repositories. [Citation Graph (0, 0)][DBLP]
    MSR, 2006, pp:54-57 [Conf]
  21. Tao Xie
    Automatic identification of common and special object-oriented unit tests. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:324-325 [Conf]
  22. Evan Martin, Tao Xie
    Inferring Access-Control Policy Properties via Machine Learning. [Citation Graph (0, 0)][DBLP]
    POLICY, 2006, pp:235-238 [Conf]
  23. Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
    Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:365-381 [Conf]
  24. W. Yuan, X. Chen, T. Xie, H. Mei, F. Yang
    C++ Program Information Database for Analysis Tools. [Citation Graph (0, 0)][DBLP]
    TOOLS (27), 1998, pp:173-180 [Conf]
  25. Tao Xie, David Notkin
    Tool-assisted unit-test generation and selection based on operational abstractions. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2006, v:13, n:3, pp:345-371 [Journal]
  26. Hong Mei, Tao Xie, Fuqing Yang
    A Model-Based Approach to Object-Oriented Software Metrics. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2002, v:17, n:6, pp:757-769 [Journal]
  27. Tao Xie, David Notkin
    Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:10, pp:869-883 [Journal]
  28. Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie
    Conformance Checking of Access Control Policies Specified in XACML. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:275-280 [Conf]
  29. Tao Xie, Jian Pei, Ahmed E. Hassan
    Mining Software Engineering Data. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:172-173 [Conf]
  30. Evan Martin, Suranjana Basu, Tao Xie
    WebSob: A Tool for Robustness Testing of Web Services. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:65-66 [Conf]
  31. Evan Martin, Suranjana Basu, Tao Xie
    Automated Testing and Response Analysis ofWeb Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:647-654 [Conf]
  32. Mithun Acharya, Tao Xie, Jian Pei, Jun Xu
    Mining API patterns as partial orders from source code: from usage scenarios to specifications. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:25-34 [Conf]
  33. Evan Martin, Tao Xie
    A fault model and mutation testing of access control policies. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:667-676 [Conf]

  34. Assessing Quality of Policy Properties in Verification of Access Control Policies. [Citation Graph (, )][DBLP]

  35. Automated test data generation for aspect-oriented programs. [Citation Graph (, )][DBLP]

  36. FIRE: A File Reunion Based Data Replication Strategy for Data Grids. [Citation Graph (, )][DBLP]

  37. A Novel Isotropic Scatter Distribution Wideband MIMO M2M Fading Channel Model. [Citation Graph (, )][DBLP]

  38. A UML frontend for IP-XACT-based IP management. [Citation Graph (, )][DBLP]

  39. RTOS-aware refinement for TLM2.0-based HW/SW designs. [Citation Graph (, )][DBLP]

  40. Mining Likely Properties of Access Control Policies via Association Rule Mining. [Citation Graph (, )][DBLP]

  41. Fitness-guided path exploration in dynamic symbolic execution. [Citation Graph (, )][DBLP]

  42. MAPO: Mining and Recommending API Usage Patterns. [Citation Graph (, )][DBLP]

  43. Property Verification for Generic Access Control Models. [Citation Graph (, )][DBLP]

  44. Mining API Error-Handling Specifications from Source Code. [Citation Graph (, )][DBLP]

  45. SAIL: Self-Adaptive File Reallocation on Hybrid Disk Arrays. [Citation Graph (, )][DBLP]

  46. Collaboration-Oriented Data Recovery for Mobile Disk Arrays. [Citation Graph (, )][DBLP]

  47. DORA: A Dynamic File Assignment Strategy with Replication. [Citation Graph (, )][DBLP]

  48. An approach to detecting duplicate bug reports using natural language and execution information. [Citation Graph (, )][DBLP]

  49. Guided path exploration for regression test generation. [Citation Graph (, )][DBLP]

  50. Mining exception-handling rules as sequence association rules. [Citation Graph (, )][DBLP]

  51. TranStrL: An automatic need-to-translate string locator for software internationalization. [Citation Graph (, )][DBLP]

  52. Locating need-to-translate constant strings for software internationalization. [Citation Graph (, )][DBLP]

  53. Test selection for result inspection via mining predicate rules. [Citation Graph (, )][DBLP]

  54. Mining API mapping for language migration. [Citation Graph (, )][DBLP]

  55. Is operator-based mutant selection superior to random mutant selection? [Citation Graph (, )][DBLP]

  56. JDF: detecting duplicate bug reports in Jazz. [Citation Graph (, )][DBLP]

  57. Mining software engineering data. [Citation Graph (, )][DBLP]

  58. Parameterized unit testing: theory and practice. [Citation Graph (, )][DBLP]

  59. Substra: A Framework for Automatic Generation of Integration Tests. [Citation Graph (, )][DBLP]

  60. Towards a Framework for Differential Unit Testing of Object-Oriented Programs. [Citation Graph (, )][DBLP]

  61. An Empirical Study of Testing File-System-Dependent Software with Mock Objects. [Citation Graph (, )][DBLP]

  62. Quota-constrained test-case prioritization for regression testing of service-centric systems. [Citation Graph (, )][DBLP]

  63. Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. [Citation Graph (, )][DBLP]

  64. Dynamic Availability Estimation for Service Selection Based on Status Identification. [Citation Graph (, )][DBLP]

  65. User-Perceived Service Availability: A Metric and an Estimation Approach. [Citation Graph (, )][DBLP]

  66. Improving software reliability and productivity via mining program source code. [Citation Graph (, )][DBLP]

  67. A static data placement strategy towards perfect load-balancing for distributed storage clusters. [Citation Graph (, )][DBLP]

  68. Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs. [Citation Graph (, )][DBLP]

  69. Workshop on testing, analysis and verification of web software (TAV-WEB 2008). [Citation Graph (, )][DBLP]

  70. BERT: BEhavioral Regression Testing. [Citation Graph (, )][DBLP]

  71. Multiple-implementation testing for XACML implementations. [Citation Graph (, )][DBLP]

  72. Time-aware test-case prioritization using integer linear programming. [Citation Graph (, )][DBLP]

  73. Towards regression test selection for AspectJ programs. [Citation Graph (, )][DBLP]

  74. APTE: automated pointcut testing for AspectJ programs. [Citation Graph (, )][DBLP]

  75. OCAT: object capture-based automated testing. [Citation Graph (, )][DBLP]

  76. Parseweb: a programmer assistant for reusing open source code on the web. [Citation Graph (, )][DBLP]

  77. Automated detection of api refactorings in libraries. [Citation Graph (, )][DBLP]

  78. SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web. [Citation Graph (, )][DBLP]

  79. A framework and tool supports for testing modularity of software design. [Citation Graph (, )][DBLP]

  80. Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. [Citation Graph (, )][DBLP]

  81. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. [Citation Graph (, )][DBLP]

  82. DiffGen: Automated Regression Unit-Test Generation. [Citation Graph (, )][DBLP]

  83. Inferring Resource Specifications from Natural Language API Documentation. [Citation Graph (, )][DBLP]

  84. Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. [Citation Graph (, )][DBLP]

  85. Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. [Citation Graph (, )][DBLP]

  86. Text mining in supporting software systems risk assurance. [Citation Graph (, )][DBLP]

  87. MODA: automated test generation for database applications via mock objects. [Citation Graph (, )][DBLP]

  88. Random unit-test generation with MUT-aware sequence recommendation. [Citation Graph (, )][DBLP]

  89. MiTV: multiple-implementation testing of user-input validators for web applications. [Citation Graph (, )][DBLP]

  90. Automatic construction of an effective training set for prioritizing static analysis warnings. [Citation Graph (, )][DBLP]

  91. SpotWeb: detecting framework hotspots via mining open source repositories on the web. [Citation Graph (, )][DBLP]

  92. Identifying security bug reports via text mining: An industrial case study. [Citation Graph (, )][DBLP]

  93. Xengine: a fast and scalable XACML policy evaluation engine. [Citation Graph (, )][DBLP]

  94. MSeqGen: object-oriented unit-test generation via mining source code. [Citation Graph (, )][DBLP]

  95. Systematic Structural Testing of Firewall Policies. [Citation Graph (, )][DBLP]

  96. UnitPlus: assisting developer testing in Eclipse. [Citation Graph (, )][DBLP]

  97. Automated Behavioral Regression Testing. [Citation Graph (, )][DBLP]

  98. Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. [Citation Graph (, )][DBLP]

  99. Data Mining for Software Engineering. [Citation Graph (, )][DBLP]

Search in 0.050secs, Finished in 0.053secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002