Tao Xie
#138,108
Most Influential Person Now
Tao Xie's AcademicInfluence.com Rankings
Tao Xiecomputer-science Degrees
Computer Science
#6456
World Rank
#6808
Historical Rank
Software Engineering
#181
World Rank
#182
Historical Rank
Algorithms
#231
World Rank
#234
Historical Rank
Database
#3542
World Rank
#3691
Historical Rank
Download Badge
Computer Science
Tao Xie's Degrees
- PhD Computer Science University of Washington
- Masters Computer Science University of Washington
- Bachelors Computer Science Fudan University
Similar Degrees You Can Earn
Why Is Tao Xie Influential?
(Suggest an Edit or Addition)Tao Xie's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- An approach to detecting duplicate bug reports using natural language and execution information (2008) (556)
- Parseweb: a programmer assistant for reusing open source code on the web (2007) (435)
- MAPO: Mining and Recommending API Usage Patterns (2009) (405)
- WHYPER: Towards Automating Risk Assessment of Mobile Applications (2013) (361)
- Reliability Engineering (2017) (353)
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (2005) (300)
- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (2013) (295)
- Mining API patterns as partial orders from source code: from usage scenarios to specifications (2007) (268)
- AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context (2015) (246)
- MAPO: mining API usages from open source repositories (2006) (243)
- Fitness-guided path exploration in dynamic symbolic execution (2009) (237)
- Inferring Resource Specifications from Natural Language API Documentation (2009) (189)
- Where do developers log? an empirical study on logging practices in industry (2014) (180)
- Mining succinct and high-coverage API usage patterns from source code (2013) (180)
- Identifying security bug reports via text mining: An industrial case study (2010) (168)
- Rostra: a framework for detecting redundant object-oriented unit tests (2004) (167)
- How do software engineers understand code changes?: an exploratory study in industry (2012) (164)
- Performance debugging in the large via mining millions of stack traces (2012) (161)
- A fault model and mutation testing of access control policies (2007) (161)
- Inferring method specifications from natural language API descriptions (2012) (161)
- Time-aware test-case prioritization using integer linear programming (2009) (159)
- Data Mining for Software Engineering (2009) (157)
- Mining API mapping for language migration (2010) (142)
- Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (2008) (134)
- Mining exception-handling rules as sequence association rules (2009) (128)
- Xengine: a fast and scalable XACML policy evaluation engine (2008) (126)
- Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study (2018) (121)
- Is operator-based mutant selection superior to random mutant selection? (2010) (120)
- Automated extraction of security policies from natural-language software documents (2012) (115)
- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (2006) (111)
- Teaching and learning programming and software engineering via interactive gaming (2013) (110)
- Test generation via Dynamic Symbolic Execution for mutation testing (2010) (109)
- Alattin: Mining Alternative Patterns for Detecting Neglected Conditions (2009) (109)
- Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps (2017) (104)
- Characterizing Smartphone Usage Patterns from Millions of Android Users (2015) (96)
- SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web (2008) (96)
- Latent error prediction and fault localization for microservice applications by learning from system trace logs (2019) (94)
- MSeqGen: object-oriented unit-test generation via mining source code (2009) (94)
- On automated prepared statement generation to remove SQL injection vulnerabilities (2009) (92)
- Automated Test Generation for Access Control Policies via Change-Impact Analysis (2007) (92)
- A framework and tool supports for generating test inputs of AspectJ programs (2006) (91)
- Synthesizing method sequences for high-coverage testing (2011) (91)
- Automated Behavioral Regression Testing (2010) (89)
- Software intelligence: the future of mining software engineering data (2010) (88)
- MODA: automated test generation for database applications via mock objects (2010) (87)
- SafeDrive: Online Driving Anomaly Detection From Large-Scale Vehicle Data (2017) (87)
- eXpress: guided path exploration for efficient regression test generation (2011) (84)
- iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests (2019) (82)
- Internetware: A Software Paradigm for Internet Computing (2012) (80)
- Log2: A Cost-Aware Logging Mechanism for Performance Diagnosis (2015) (79)
- Tool-assisted unit-test generation and selection based on operational abstractions (2006) (77)
- Software Analytics in Practice (2013) (77)
- To Be Optimal or Not in Test-Case Prioritization (2016) (76)
- DiffGen: Automated Regression Unit-Test Generation (2008) (75)
- Detecting high-quality posts in community question answering sites (2015) (75)
- Defining and Measuring Policy Coverage in Testing Access Control Policies (2006) (75)
- Neural Detection of Semantic Code Clones Via Tree-Based Convolution (2019) (74)
- Designing Fast and Scalable XACML Policy Evaluation Engines (2011) (74)
- An Empirical Study on Evolution of API Documentation (2011) (73)
- Learning for test prioritization: an industrial case study (2016) (72)
- Automated test input generation for Android: are we really there yet in an industrial case? (2016) (72)
- Precise identification of problems for structural test generation (2011) (71)
- Mining software engineering data (2007) (70)
- Mutually Enhancing Test Generation and Specification Inference (2003) (70)
- DyTa: dynamic symbolic execution guided with static verification results (2011) (69)
- The future of teaching programming is on mobile devices (2012) (68)
- Tool-assisted unit test selection based on operational violations (2003) (67)
- OCAT: object capture-based automated testing (2010) (67)
- An Empirical Study of Android Test Generation Tools in Industrial Cases (2018) (66)
- Conformance Checking of Access Control Policies Specified in XACML (2007) (66)
- iFixFlakies: a framework for automatically fixing order-dependent flaky tests (2019) (66)
- PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play (2019) (65)
- Quota-constrained test-case prioritization for regression testing of service-centric systems (2008) (64)
- Code hunt: searching for secret code for fun (2014) (63)
- Checking inside the black box: regression testing by comparing value spectra (2005) (63)
- Automated Testing and Response Analysis ofWeb Services (2007) (61)
- Poster: Benchmarking Microservice Systems for Software Engineering Research (2018) (60)
- Test input reduction for result inspection to facilitate fault localization (2010) (60)
- Automated test data generation for aspect-oriented programs (2009) (60)
- An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (2006) (59)
- Software analytics for incident management of online services: An experience report (2013) (58)
- Mining API Error-Handling Specifications from Source Code (2009) (57)
- Code Hunt: Experience with Coding Contests at Scale (2015) (57)
- XIAO: tuning code clones at hands of engineers in practice (2012) (56)
- Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs (2007) (55)
- Guided test generation for coverage criteria (2010) (55)
- Automated detection of api refactorings in libraries (2007) (54)
- A comprehensive study on challenges in deploying deep learning based software (2020) (49)
- Model Checking for Verification of Mandatory Access Control Models and Properties (2011) (49)
- Identifying Failure-Inducing Combinations in a Combinatorial Test Set (2012) (49)
- Generating program inputs for database application testing (2011) (48)
- PRADA: Prioritizing Android Devices for Apps by Mining Large-Scale Usage Data (2016) (48)
- Software analytics as a learning case in practice: approaches and experiences (2011) (48)
- SQLUnitGen: Test Case Generation for SQL Injection Detection (2006) (47)
- Characteristic studies of loop problems for structural test generation via symbolic execution (2013) (46)
- Automating presentation changes in dynamic web applications via collaborative hybrid analysis (2012) (46)
- Relationship-aware code search for JavaScript frameworks (2016) (45)
- Want a Good Answer? Ask a Good Question First! (2013) (42)
- Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (invited talk abstract) (2013) (42)
- ACPT: A Tool for Modeling and Verifying Access Control Policies (2010) (42)
- Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (2009) (42)
- PerfRanker: prioritization of performance regression tests for collection-intensive software (2017) (41)
- Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs (2008) (41)
- Relation extraction for inferring access control rules from natural language artifacts (2014) (41)
- An empirical study of testing file-system-dependent software with mock objects (2009) (40)
- Measurement and Analysis of Mobile Web Cache Performance (2015) (40)
- Understanding Diverse Usage Patterns from Large-Scale Appstore-Service Profiles (2017) (40)
- Multiple-Implementation Testing of Supervised Learning Software (2016) (40)
- Transferring an automated test generation tool to practice: from pex to fakes and code digger (2014) (39)
- Benchmarking microservice systems for software engineering research (2018) (39)
- Automated Test Input Generation for Android: Towards Getting There in an Industrial Case (2017) (39)
- Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions (2004) (38)
- Mining Interface Specifications for Generating Checkable Robustness Properties (2006) (37)
- Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs (2006) (37)
- Automatic construction of an effective training set for prioritizing static analysis warnings (2010) (37)
- Comprehending performance from real-world execution traces: a device-driver case (2014) (37)
- Multiple-implementation testing for XACML implementations (2008) (37)
- Detecting Redundant Unit Tests for AspectJ Programs (2006) (36)
- Guided test generation for database applications via synthesized database interactions (2014) (35)
- Property Verification for Generic Access Control Models (2008) (35)
- Automatic extraction of abstract-object-state machines from unit-test executions (2006) (35)
- Educational software engineering: Where software engineering, education, and gaming meet (2013) (35)
- Towards a Framework for Differential Unit Testing of Object-Oriented Programs (2007) (34)
- A characteristic study on failures of production distributed data-parallel programs (2013) (34)
- A Combinatorial Testing-Based Approach to Fault Localization (2020) (34)
- Helping users avoid bugs in GUI applications (2005) (33)
- Pex4Fun: Teaching and learning computer science via social gaming (2011) (33)
- Testing software in age of data privacy: a balancing act (2011) (32)
- A large-scale longitudinal study of flaky tests (2020) (31)
- Automated Test Generation for AspectJ Programs (2005) (31)
- Inferring access-control policy properties via machine learning (2006) (31)
- Locating need-to-translate constant strings in web applications (2010) (31)
- Healing online service systems via mining historical issue repositories (2012) (31)
- Random unit-test generation with MUT-aware sequence recommendation (2010) (30)
- A Study of Grayware on Google Play (2016) (30)
- Code hunt: gamifying teaching and learning of computer science at scale (2014) (30)
- Perturbation-based user-input-validation testing of web applications (2010) (30)
- UiRef: analysis of sensitive user inputs in Android applications (2017) (30)
- Contextual analysis of program logs for understanding system behaviors (2013) (30)
- Interactive Fault Localization Using Test Information (2009) (29)
- Inferring dependency constraints on parameters for web services (2013) (29)
- First step towards automatic correction of firewall policy faults (2010) (29)
- Retrofitting Unit Tests for Parameterized Unit Testing (2011) (29)
- Demystifying the Imperfect Client-Side Cache Performance of Mobile Web Browsing (2016) (28)
- BERT: BEhavioral Regression Testing (2008) (28)
- Record and replay for Android: are we there yet in industrial cases? (2017) (28)
- Checking inside the black box: regression testing based on value spectra differences (2004) (28)
- WebSob: A Tool for Robustness Testing of Web Services (2007) (27)
- Delta Debugging Microservice Systems (2018) (27)
- Selection of regression system tests for security policy evolution (2012) (27)
- CarStream: An Industrial System of Big Data Processing for Internet-of-Vehicles (2017) (27)
- Database state generation via dynamic symbolic execution for coverage criteria (2011) (27)
- Environmental Modeling for Automated Cloud Application Testing (2012) (27)
- Towards regression test selection for AspectJ programs (2006) (27)
- Mining Historical Issue Repositories to Heal Large-Scale Online Service Systems (2014) (26)
- Iterative mining of resource-releasing specifications (2011) (26)
- Guided path exploration for regression test generation (2009) (26)
- Automated Robustness Testing of Web Services (2006) (26)
- Applying Interface-Contract Mutation in Regression Testing of Component-Based Software (2007) (26)
- Inferring specifications for resources from natural language API documentation (2011) (25)
- Transferring Code-Clone Detection and Analysis to Practice (2017) (25)
- Measuring Code Behavioral Similarity for Programming and Software Engineering Education (2016) (25)
- A framework and tool supports for testing modularity of software design (2007) (25)
- Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (2012) (25)
- Performance Issue Diagnosis for Online Service Systems (2012) (25)
- APTE: automated pointcut testing for AspectJ programs (2006) (25)
- Intelligent Software Engineering: Synergy between AI and Software Engineering (2018) (25)
- Systematic Structural Testing of Firewall Policies (2012) (24)
- Locating need-to-translate constant strings for software internationalization (2009) (24)
- SQLUnitGen: SQL Injection Testing Using Static and Dynamic Analysis (2006) (23)
- Experience report on applying software analytics in incident management of online service (2017) (23)
- Parameterized unit testing: theory and practice (2010) (23)
- Automatic test generation for mutation testing on database applications (2013) (23)
- JDF: detecting duplicate bug reports in Jazz (2010) (23)
- Dependent-test-aware regression testing techniques (2020) (22)
- SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications (2018) (22)
- Mining Android App Descriptions for Permission Requirements Recommendation (2018) (22)
- Automated Inference of Pointcuts in Aspect-Oriented Refactoring (2007) (21)
- Assessing Quality of Policy Properties in Verification of Access Control Policies (2008) (21)
- Substra: a framework for automatic generation of integration tests (2006) (21)
- Generating Regular Expressions from Natural Language Specifications: Are We There Yet? (2018) (21)
- Exposing Behavioral Differences in Cross-Language API Mapping Relations (2013) (21)
- Alattin: mining alternative patterns for defect detection (2011) (20)
- User-Perceived Service Availability: A Metric and an Estimation Approach (2009) (20)
- Teaching and training developer-testing techniques and tool support (2010) (20)
- SpotWeb: detecting framework hotspots via mining open source repositories on the web (2008) (20)
- Testing Untestable Neural Machine Translation: An Industrial Case (2018) (20)
- Refactoring access control policies for performance improvement (2012) (20)
- A Large-Scale Empirical Study on Android Runtime-Permission Rationale Messages (2018) (20)
- An Empirical Study of Java Dynamic Call Graph Extractors (2001) (19)
- Text mining in supporting software systems risk assurance (2010) (19)
- UnitPlus: assisting developer testing in Eclipse (2007) (18)
- Aladdin: Automating Release of Deep-Link APIs on Android (2018) (18)
- MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks (2018) (18)
- REINAM: reinforcement learning for input-grammar inference (2019) (18)
- EnMobile: Entity-Based Characterization and Analysis of Mobile Malware (2018) (18)
- TranStrL: An automatic need-to-translate string locator for software internationalization (2009) (18)
- An Exploratory Study of Logging Configuration Practice in Java (2019) (18)
- Advances in Unit Testing: Theory and Practice (2016) (17)
- Cooperative Software Testing and Analysis: Advances and Challenges (2014) (16)
- MiTV: multiple-implementation testing of user-input validators for web applications (2010) (16)
- Improving software quality via code searching and mining (2009) (16)
- Mining test oracles of web search engines (2011) (15)
- Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done (2012) (15)
- Improving Effectiveness of Automated Software Testing in the Absence of Specifications (2006) (15)
- Automatically identifying special and common unit tests for object-oriented programs (2005) (15)
- The synergy of human and artificial intelligence in software engineering (2013) (15)
- Test selection for result inspection via mining predicate rules (2009) (14)
- Pex4Fun: A web-based environment for educational gaming via automated test generation (2013) (14)
- Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests (2004) (14)
- Model-Driven Impact Analysis of Software Product Lines (2011) (14)
- Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science (2011) (14)
- Inferring project-specific bug patterns for detecting sibling bugs (2013) (14)
- Software analytics in practice: mini tutorial (2012) (14)
- SWAROVsky: Optimizing Resource Loading for Mobile Web Browsing (2017) (13)
- Exploiting Synergy Between Testing and Inferred Partial Specifications (2003) (13)
- Delta Debugging Microservice Systems with Parallel Optimization (2022) (13)
- Mutation Analysis of Parameterized Unit Tests (2009) (13)
- MetaSymploit: Day-One Defense against Script-based Attacks with Security-Enhanced Symbolic Analysis (2013) (13)
- PRADO: Predicting App Adoption by Learning the Correlation between Developer-Controllable Properties and User Behaviors (2017) (13)
- Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis (2013) (13)
- Improving software reliability and productivity via mining program source code (2008) (13)
- CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software (2018) (12)
- Automatic Extraction of Sliced Object State Machines for Component Interfaces (2004) (12)
- Constructing coding duels in Pex4Fun and code hunt (2014) (12)
- JBOORET: an automated tool to recover OO design and source models (2001) (12)
- BERT: a tool for behavioral regression testing (2010) (12)
- Advances on Improving Automation in Developer Testing (2012) (11)
- Understanding and finding system setting-related defects in Android apps (2021) (11)
- Program-input generation for testing database applications using existing database states (2015) (11)
- An infrastructure approach to improving effectiveness of Android UI testing tools (2021) (11)
- Perspectives on automated testing of aspect-oriented programs (2007) (10)
- Software Engineering for Internet Computing: Internetware and Beyond [Guest editors' introduction] (2015) (10)
- Automatic Extraction of Abstract-Object-State Machines Based on Branch Coverage (2005) (10)
- Gamifying software security education and training via secure coding duels in code hunt (2015) (10)
- Effective Generation of Interface Robustness Properties for Static Analysis (2006) (10)
- Future of developer testing: building quality in code (2010) (10)
- Environment Modeling for Automated Testing of Cloud Applications (2011) (10)
- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests (2021) (10)
- Understanding software application interfaces via string analysis (2006) (9)
- Fault Localization for Firewall Policies (2009) (9)
- Learning stateful preconditions modulo a test generator (2019) (9)
- Joint voting prediction for questions and answers in CQA (2014) (9)
- Introduction to the special issue on mining software repositories (2013) (9)
- Crowdsourcing Code and Process via Code Hunt (2015) (9)
- Telemade: A Testing Framework for Learning-Based Malware Detection Systems (2018) (8)
- Software analytics: achievements and challenges (2013) (8)
- ReWAP: Reducing Redundant Transfers for Mobile Web Browsing via App-Specific Resource Packaging (2017) (8)
- Improving mobile application security via bridging user expectations and application behaviors (2014) (8)
- Security policy testing via automated program code generation (2009) (8)
- When program analysis meets mobile security: an industrial study of misusing Android internet sockets (2017) (8)
- Systematic Structural Testing of Firewall Policies (2008) (8)
- Checking Inside the Black Box: Regression Fault Exposure and Localization Based on Value Spectra Differences (2002) (8)
- Literature Review of Testing Techniques for Medical Device Software (2013) (7)
- Dynamic Availability Estimation for Service Selection Based on Status Identification (2008) (7)
- eXpress : Guided Path Exploration for Regression Test Generation (2010) (7)
- PreInfer: Automatic Inference of Preconditions via Symbolic Analysis (2018) (7)
- Understanding Diverse Smarpthone Usage Patterns from Large-Scale Appstore-Service Profiles (2017) (7)
- Detection of Multiple-Duty-Related Security Leakage in Access Control Policies (2009) (7)
- Component Metrics in Jade Bird Component Library System (2000) (7)
- Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop (2012) (7)
- Improving Automation in Developer Testing : State of the Practice (2009) (7)
- Proceedings of the 8th Working Conference on Mining Software Repositories (2011) (6)
- High-confidence software evolution (2016) (6)
- Pathways to technology transfer and adoption: Achievements and challenges (mini-tutorial) (2013) (6)
- Policy-Based Testing (2010) (6)
- Database-Access Performance Antipatterns in Database-Backed Web Applications (2020) (6)
- Vet: identifying and avoiding UI exploration tarpits (2021) (6)
- A model-based approach to object-oriented software metrics (2002) (5)
- Detecting Failures of Neural Machine Translation in the Absence of Reference Translations (2019) (5)
- Mining Likely Properties of Access Control Policies via Association Rule Mining (2010) (5)
- Browser-based software for technology transfer (2011) (5)
- Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs (2011) (4)
- NEGWeb: Static defect detection via searching billions of lines of open source code (2007) (4)
- Covana: precise identification of problems in pex (2011) (4)
- Oracle-free Detection of Translation Issue for Neural Machine Translation (2018) (4)
- Understanding Challenges in Deploying Deep Learning Based Software: An Empirical Study (2020) (4)
- Automatic identification of common and special object-oriented unit tests (2004) (4)
- JBOOMT: Jade Bird Object-Oriented Metrics Tool (2000) (4)
- Macro and Micro Perspectives on Strategic Software Quality Assurance in Resource Constrained Environments (2002) (4)
- Making exceptions on exception handling (2012) (4)
- Automatically Identifying Special and Common Unit Tests Based on Inferred Statistical Algebraic Abstractions (2004) (3)
- 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 (2008) (3)
- FinExpert: domain-specific test generation for FinTech systems (2019) (3)
- Tutorial: Text Analytics for Security (2014) (3)
- Teaching and Training for Software Analytics (2012) (3)
- Automated mutation testing of access control policies (2006) (3)
- Automated extraction and validation of security policies from natural-language documents (2011) (3)
- Code Hunt : Context-Driven Interactive Gaming for Learning Programming and Software Engineering (2014) (3)
- 10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors (2010) (3)
- Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba (2019) (3)
- Clamp: automated joinpoint clustering and pointcut mining in aspect-oriented refactoring (2006) (3)
- Synthesizing contracts correct modulo a test generator (2021) (3)
- The Pursuit of Practice-Impactful Research (2016) (2)
- Transferring Software Testing Tools to Practice (2017) (2)
- Designing Fast and Scalable Policy Evaluation Engines (2009) (2)
- Mining api specifications from source code for improving software reliability (2009) (2)
- Mining API Usage Specifications via Searching Source Code from the Web (2011) (2)
- Property verification for access control models via model checking (2008) (2)
- Guest editorial: special section on mining software repositories (2015) (2)
- Finding Polluter Tests Using Java PathFinder (2021) (2)
- Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only) (2012) (2)
- Welcome from the Chairs (2010) (2)
- PRADO (2017) (2)
- Parameterized Unit Testing in the Open Source Wild (2015) (2)
- Text analytics for security: tutorial (2016) (2)
- PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions (2021) (2)
- Issue analysis for residual structural coverage in dynamic symbolic execution (2010) (2)
- Improving software productivity and quality via mining source code (2011) (1)
- Proceedings of the 2015 International Symposium on Software Testing and Analysis (2015) (1)
- Defining and Measuring Policy Coverage in Testing Access Control Policies (2006) (1)
- Connecting and Serving the Software Engineering Community (2016) (1)
- Adaptive or embedded software testing and mutation testing (2021) (1)
- Learning and Celebration of Software Engineering History and Impact (2015) (1)
- Introduction to the Special Issue on Emerging Software Technologies for Internet-Based Systems (2018) (1)
- Software analytics and its application in practice (2016) (1)
- A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services (2018) (1)
- Static detection of API error-handling bugs via mining source code (2007) (1)
- Preliminary analysis of code hunt data set from a contest (2016) (1)
- Identifying security fault reports via text mining (2009) (1)
- Towards Privacy-Preserving Mobile Apps : A Balancing Act (2017) (1)
- Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation (2018) (1)
- Testing of Access Control Policies (2008) (1)
- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (1)
- Software Component Protocol Inference ( General Examination Report ) (2003) (1)
- Workshop on testing, analysis and verification of web software (TAV-WEB 2008) (2008) (1)
- C++ Program Information Database for Analysis Tools (1998) (1)
- SpotWeb: Characterizing framework API usages through a code search engine (2007) (1)
- NEGWeb : Detecting Neglected Conditions via Mining Programming Rules from Open Source Code (2008) (1)
- Mining Usage Data from Large-Scale Android Users: Challenges and Opportunities (2016) (1)
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects (2018) (1)
- Aladdin: Automating Release of Android Deep Links to In-App Content (2017) (1)
- MAPO: Mining API Usages from Open Source Repositories (2011) (1)
- A Linguistic Study of Process Modeling Languages (2001) (1)
- Practitioners' Expectations on Code Completion (2023) (1)
- On automation in software engineering (2020) (1)
- Issue Information (2021) (0)
- Speculating Ineffective UI Exploration via Trace Analysis (2021) (0)
- Editorial: Testing, Debugging, and Defect Prediction (2021) (0)
- Diagnosis for Online Service Systems (2012) (0)
- Issue Information (2021) (0)
- Session details: Testing #1 (2009) (0)
- Static API specification mining: Exploiting source code model checking (2011) (0)
- 10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors (2010) (0)
- Generating and Inferring Interface Properties for Static Analysis (2006) (0)
- Working Across Boundaries (2020) (0)
- Lexar: Generating String Inputs for Loop-Exploiting Attacks via Evolutionary Techniques (2010) (0)
- Mining Program Source Code for Improving Software Quality (2013) (0)
- RESEC 2018 welcome (2018) (0)
- Cover Fe Ature Internet Computing Requirements Internetware: a Software Paradigm for Internet Computing (0)
- How to beat the best Android UI testing tools? An infrastructure approach (2020) (0)
- Property generation/verification and empirical studies (2021) (0)
- WODA+PERTEA 2014 : joint 12th International Workshop on Dynamic Analysis (WODA) and Workshop on Software and System Performance Testing, Debugging, and Analytics (PERTEA) : proceedings : July 22, 2014, San Jose, CA, USA (2014) (0)
- Virtual Bypassing Earlier Function Tests for Improved ECU Software (2015) (0)
- Session details: Symbolic and concrete execution (2008) (0)
- Paradigm in Verification of Access Control (2012) (0)
- Executive Summary: Da gstuhl Seminar 10111 on Practical Software Testing: Tool Automation and Human Factors March 14-19, 2010 (2010) (0)
- Practical Software Testing : Tool Automation and Human Factors Dagstuhl Seminar (2010) (0)
- Software Analytics Principles and Practices (NII Shonan Meeting 2013-12) (2013) (0)
- Editorial: Verification, reliability and performance (2021) (0)
- Model checking, testing and debugging (2021) (0)
- Which faults are security faults (2009) (0)
- Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs (2008) (0)
- Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014 (2014) (0)
- MULTIPLE-IMPLEMENTATION TESTING OF SUPERVISED LEARNING SOFTWARE BY OREOLUWA ALEBIOSU (2017) (0)
- High-confidence software evolution (2016) (0)
- 1st International Code Hunt Workshop on Educational Software Engineering (CHESE 2015) : proceedings : July 14, 2015, Baltimore, MD, USA (2015) (0)
- Welcome from the Program Co-Chairs (2009) (0)
- Institutional Knowledge at Singapore Management University Data Mining for Software Engineering (2019) (0)
- ReWAP: Reducing Redundant Transfers for Mobile Web Applications via App-Specific Resource Packaging (2016) (0)
- Proceedings of the 1st International Workshop on Code Hunt Workshop on Educational Software Engineering (2015) (0)
- Outward Thinking for Our Research Community (2016) (0)
- Peer Reviewing in Software Engineering (2021) (0)
- Mitigating Redundant Data Transfers for Mobile Web Applications via App-Specific Cache Space (2016) (0)
- Automated Evolutionary Test Data Generation with Domain Reduction for Aspect-Oriented Programs (2007) (0)
- Cooperative Software Testing and Analysis: Advances and Challenges (2014) (0)
- Conference Virtualization (2020) (0)
- Quality assurance of database centric applications (2013) (0)
- Issue Information (2021) (0)
- Improving automation in developer testing: State of the practice (2009) (0)
- TAV-WEB 2008 - Proceedings of the Workshop on Testing, Analysis and Verification of Web Software: Message from the chairs (2008) (0)
- Proceedings - International Conference on Software Engineering: Preface (2011) (0)
- Automatic Inference of Interface Properties from Program Source Code (2006) (0)
- A Linguistic Study of Process Modeling Languages (2001) (0)
- Report on the international symposium on high confidence software (ISHCS 2011/2012) (2013) (0)
- Peer Reviewing in Software Engineering (2020) (0)
- Automated testing of cloud applications (2011) (0)
- Teaching and learning computing via social gaming with Pex4Fun (abstract only) (2012) (0)
- Diversity and Inclusion in Research Community: Remembering David Notkin (2016) (0)
- of Testing Techniques for Medical Device Software (2013) (0)
- Program-input generation for testing database applications using existing database states (2014) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Tao Xie?
Tao Xie is affiliated with the following schools:
