Tao Xie

Softw. Test. Verification Reliab., December, 2024

Metamorphic Testing and Web Element Localization.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., November, 2024

Fault tolerance and metamorphic relation prediction.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., September, 2024

Unsafe code detection in Rust and metamorphic testing of autonomous driving systems.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., August, 2024

Investigating fault injection techniques in hardware-based deep neural networks and mutation-based fault localization.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., June, 2024

Path Toward Elderly Friendly Mobile Apps.

[BibT_eX]

[DOI]

Computer, June, 2024

Test code evolution and mutation testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., May, 2024

Safety and Performance, Why Not Both? Bi-Objective Optimized Model Compression Against Heterogeneous Attacks Toward AI Software Deployment.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., March, 2024

Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., March, 2024

Test case prioritization and mutation testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., January, 2024

An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

Automated Proof Generation for Rust Code via Self-Evolution.

[BibT_eX]

[DOI]

Md Rakib Hossain Misu

CoRR, 2024

EPIC: Efficient Position-Independent Context Caching for Serving Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

Careful About What App Promotion Ads Recommend! Detecting and Explaining Malware Promotion via App Promotion Graph.

[BibT_eX]

[DOI]

CoRR, 2024

Skill-Adpative Imitation Learning for UI Test Reuse.

[BibT_eX]

[DOI]

CoRR, 2024

SWE-bench-java: A GitHub Issue Resolving Benchmark for Java.

[BibT_eX]

[DOI]

CoRR, 2024

Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software.

[BibT_eX]

[DOI]

CoRR, 2024

MemServe: Context Caching for Disaggregated LLM Serving with Elastic Memory Pool.

[BibT_eX]

[DOI]

CoRR, 2024

CodeR: Issue Resolving with Multi-Agent and Task Graphs.

[BibT_eX]

[DOI]

CoRR, 2024

InfiCoder-Eval: Systematically Evaluating the Question-Answering Capabilities of Code Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

Validity-Preserving Delta Debugging via Generator.

[BibT_eX]

[DOI]

CoRR, 2024

Using LLM to select the right SQL Query from candidates.

[BibT_eX]

[DOI]

Zhenwen Li

CoRR, 2024

FinHunter: Improved Search-Based Test Generation for Structural Testing of FinTech Systems.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

MESIA: Understanding and Leveraging Supplementary Nature of Method-level Comments for Automatic Comment Generation.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension, 2024

Guardian: A Runtime Framework for LLM-Based UI Exploration.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Hierarchy-Aware Regression Test Prioritization.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Learning-based Widget Matching for Migrating GUI Test Cases.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model.

[BibT_eX]

[DOI]

Tianyu Chen

Lin Li

ZhuLiuchuan ZhuLiuchuan

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

Model-based testing, test case prioritization and testing of virtual reality applications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., December, 2023

In vivo testing and integration of proving and testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., November, 2023

EVONChain: a bi-tiered public blockchain network architecture.

[BibT_eX]

[DOI]

Peer Peer Netw. Appl., November, 2023

Deep neural network supervision and data flow testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., September, 2023

Quality assurance for Internet of Things and speech recognition systems.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., August, 2023

Combinatorial testing and machine learning for automated test generation.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., June, 2023

Test infrastructure and environment.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., May, 2023

Characterizing and Finding System Setting-Related Defects in Android Apps.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., April, 2023

LegoDroid: flexible Android app decomposition and instant installation.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., April, 2023

Model-based testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., March, 2023

Fuzz testing for digital TV receivers and multitasking control software verification.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2023

Data Transformation to Construct a Dataset for Generating Entity-Relationship Model from Natural Language.

[BibT_eX]

[DOI]

Zhenwen Li

Jian-Guang Lou

CoRR, 2023

Software Engineering for OpenHarmony: A Research Roadmap.

[BibT_eX]

[DOI]

Tegawendé F. Bissyandé

CoRR, 2023

Identifying Vulnerability Patches by Comprehending Code Commits with Comprehensive Change Contexts.

[BibT_eX]

[DOI]

CoRR, 2023

VulLibGen: Identifying Vulnerable Third-Party Libraries via Generative Pre-Trained Model.

[BibT_eX]

[DOI]

CoRR, 2023

CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2023

Identifying Vulnerable Third-Party Libraries from Textual Descriptions of Vulnerabilities and Libraries.

[BibT_eX]

[DOI]

CoRR, 2023

Effective Random Test Generation for Deep Learning Compilers.

[BibT_eX]

[DOI]

CoRR, 2023

Practitioners' Expectations on Code Completion.

[BibT_eX]

[DOI]

CoRR, 2023

SoK: Certified Robustness for Deep Neural Networks.

[BibT_eX]

[DOI]

Linyi Li

Bo Li

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

How Practitioners Expect Code Completion?

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Predicting Compilation Resources for Adaptive Build in an Industrial Setting.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

GDsmith: Detecting Bugs in Cypher Graph Database Engines.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

EVONChain: A Public Blockchain Architecture with Bi-tiered Network for Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Cyber Security and Cloud Computing, 2023

2022

Delta Debugging Microservice Systems with Parallel Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2022

Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Combinatorial testing and model checking.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2022

Integration testing and metamorphic testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2022

Metamorphic testing and test automation.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2022

Combinatorial testing and model-based testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2022

Model checking, testing and debugging.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2022

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2022

Enjoy your observability: an industrial survey of microservice tracing and analysis.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

GDsmith: Detecting Bugs in Graph Database Engines.

[BibT_eX]

[DOI]

CoRR, 2022

A Theoretical Analysis of Random Regression Test Prioritization.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

NL2Viz: natural language to visualization via constrained syntax-guided synthesis.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL Statements.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Preempting Flaky Tests via Non-Idempotent-Outcome Tests.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Automated Visual Testing for Mobile Apps in an Industrial Setting.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Double Sampling Randomized Smoothing.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

On the Certified Robustness for Ensemble Models and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22).

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Exploring the Secrets Behind the Learning Difficulty of Meaning Representations for Semantic Parsing.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

2021

Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Property generation/verification and empirical studies.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Adaptive or embedded software testing and mutation testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Editorial: Verification, reliability and performance.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Editorial: Testing, Debugging, and Defect Prediction.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Finding Polluter Tests Using Java PathFinder.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2021

Synthesizing contracts correct modulo a test generator.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Preface.

[BibT_eX]

[DOI]

Shengchao Qin

Wenhui Zhang

J. Comput. Sci. Technol., 2021

No Free Lunch: Microservice Practices Reconsidered in Industry.

[BibT_eX]

[DOI]

CoRR, 2021

Speculating Ineffective UI Exploration via Trace Analysis.

[BibT_eX]

[DOI]

CoRR, 2021

Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Vet: identifying and avoiding UI exploration tarpits.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions.

[BibT_eX]

[DOI]

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021

FinFuzzer: One Step Further in Fuzzing Fintech Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

An infrastructure approach to improving effectiveness of Android UI testing tools.

[BibT_eX]

[DOI]

Wenyu Wang

Wing Lam

Laleh Shikh Gholamhossein Ghandehari

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Understanding and finding system setting-related defects in Android apps.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

ORIC: A Self-Adjusting Blockchain Protocol with High Throughput.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

TSS: Transformation-Specific Smoothing for Robustness Certification.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

A Combinatorial Testing-Based Approach to Fault Localization.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

On automation in software engineering.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

Conference Virtualization.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

Working Across Boundaries.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

The AI Effect: Working at the Intersection of AI and SE.

[BibT_eX]

[DOI]

IEEE Softw., 2020

Expert Perspectives on AI.

[BibT_eX]

[DOI]

IEEE Softw., 2020

Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

A large-scale longitudinal study of flaky tests.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

SoK: Certified Robustness for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Understanding Challenges in Deploying Deep Learning Based Software: An Empirical Study.

[BibT_eX]

[DOI]

CoRR, 2020

Provable Robust Learning Based on Transformation-Specific Smoothing.

[BibT_eX]

[DOI]

CoRR, 2020

Detecting numerical bugs in neural network architectures.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Clustering test steps in natural language toward automating test automation.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Graph-based trace analysis for microservice architecture understanding and problem diagnosis.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

A comprehensive study on challenges in deploying deep learning based software.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Dependent-test-aware regression testing techniques.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Database-Access Performance Antipatterns in Database-Backed Web Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

JSidentify: a hybrid framework for detecting plagiarism among JavaScript code in online mini games.

[BibT_eX]

[DOI]

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

Benchmarking Meaning Representations in Neural Semantic Parsing.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Data-Driven Investigation into Variants of Code Writing Questions.

[BibT_eX]

[DOI]

Liia Butler

Geoffrey Challen

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

2019

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2019

PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

Latent error prediction and fault localization for microservice applications by learning from system trace logs.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

REINAM: reinforcement learning for input-grammar inference.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

iFixFlakies: a framework for automatically fixing order-dependent flaky tests.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

FinExpert: domain-specific test generation for FinTech systems.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Learning stateful preconditions modulo a test generator.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Grading-Based Test Suite Augmentation.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Neural detection of semantic code clones via tree-based convolution.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 2019

Robustra: Training Provable Robust Neural Networks over Reference Adversarial Space.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

An Exploratory Study of Logging Configuration Practice in Java.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Testing untestable neural machine translation: an industrial case.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Detecting Failures of Neural Machine Translation in the Absence of Reference Translations.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Understanding Diverse Usage Patterns from Large-Scale Appstore-Service Profiles.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Introduction to the Special Issue on Emerging Software Technologies for Internet-Based Systems: Internetware and DevOps.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2018

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2018

MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Oracle-free Detection of Translation Issue for Neural Machine Translation.

[BibT_eX]

[DOI]

CoRR, 2018

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.

[BibT_eX]

[DOI]

CoRR, 2018

Aladdin: Automating Release of Deep-Link APIs on Android.

[BibT_eX]

[DOI]

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

A Large-Scale Empirical Study on Android Runtime-Permission Rationale Messages.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

FACTS: automated black-box testing of FinTech systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Mining Android App Descriptions for Permission Requirements Recommendation.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services.

[BibT_eX]

[DOI]

Mingming Zhang

Tianyu Wo

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications, 2018

Delta debugging microservice systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

An empirical study of Android test generation tools in industrial cases.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Intelligent Software Engineering: Synergy between AI and Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018, Hyderabad, India, February 09, 2018

Benchmarking microservice systems for software engineering research.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

EnMobile: entity-based characterization and analysis of mobile malware.

[BibT_eX]

[DOI]

Wei Yang

Mukul R. Prasad

Proceedings of the 40th International Conference on Software Engineering, 2018

SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

PreInfer: Automatic Inference of Preconditions via Symbolic Analysis.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Generating Regular Expressions from Natural Language Specifications: Are We There Yet?

[BibT_eX]

[DOI]

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Telemade: A Testing Framework for Learning-Based Malware Detection Systems.

[BibT_eX]

[DOI]

Wei Yang

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Multiple-Implementation Testing of Supervised Learning Software.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

SWAROVsky: Optimizing Resource Loading for Mobile Web Browsing.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2017

ReWAP: Reducing Redundant Transfers for Mobile Web Browsing via App-Specific Resource Packaging.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2017

SafeDrive: Online Driving Anomaly Detection From Large-Scale Vehicle Data.

[BibT_eX]

[DOI]

Md. Zakirul Alam Bhuiyan

Xuelian Lin

IEEE Trans. Ind. Informatics, 2017

Reliability Engineering.

[BibT_eX]

[DOI]

IEEE Softw., 2017

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2017

PRADO: Predicting App Adoption by Learning the Correlation between Developer-Controllable Properties and User Behaviors.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2017

Understanding Diverse Smarpthone Usage Patterns from Large-Scale Appstore-Service Profiles.

[BibT_eX]

[DOI]

CoRR, 2017

Experience report on applying software analytics in incident management of online service.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2017

UiRef: analysis of sensitive user inputs in Android applications.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2017

Record and replay for Android: are we there yet in industrial cases?

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

When program analysis meets mobile security: an industrial study of misusing Android internet sockets.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

PerfRanker: prioritization of performance regression tests for collection-intensive software.

[BibT_eX]

[DOI]

Shaikh Mostafa

Xiaoyin Wang

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Automated Test Input Generation for Android: Towards Getting There in an Industrial Case.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

Transferring Software Testing Tools to Practice.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

Aladdin: automating release of Android deep links to in-app content.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Transferring Code-Clone Detection and Analysis to Practice.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2016

To Be Optimal or Not in Test-Case Prioritization.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Connecting and Serving the Software Engineering Community.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Demystifying the Imperfect Client-Side Cache Performance of Mobile Web Browsing.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2016

Outward Thinking for Our Research Community.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Diversity and Inclusion in Research Community: Remembering David Notkin.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

The Pursuit of Practice-Impactful Research.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2016

ReWAP: Reducing Redundant Transfers for Mobile Web Applications via App-Specific Resource Packaging.

[BibT_eX]

[DOI]

CoRR, 2016

High-confidence software evolution.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

A Study of Grayware on Google Play.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Automated test input generation for Android: are we really there yet in an industrial case?

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Relationship-aware code search for JavaScript frameworks.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Learning for test prioritization: an industrial case study.

[BibT_eX]

[DOI]

Benjamin Busjaeger

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Advances in unit testing: theory and practice.

[BibT_eX]

[DOI]

Pratap Lakshman

Proceedings of the 38th International Conference on Software Engineering, 2016

Mining usage data from large-scale Android users: challenges and opportunities.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

PRADA: prioritizing android devices for apps by mining large-scale usage data.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Measuring code behavioral similarity for programming and software engineering education.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Text analytics for security: tutorial.

[BibT_eX]

[DOI]

William Enck

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Software analytics and its application in practice.

[BibT_eX]

[DOI]

Proceedings of the Perspectives on Data Science for Software Engineering, 2016

2015

Software Engineering for Internet Computing: Internetware and Beyond [Guest editors' introduction].

[BibT_eX]

[DOI]

IEEE Softw., 2015

Learning and Celebration of Software Engineering History and Impact.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2015

Detecting high-quality posts in community question answering sites.

[BibT_eX]

[DOI]

Inf. Sci., 2015

Guest editorial: special section on mining software repositories.

[BibT_eX]

[DOI]

Massimiliano Di Penta

Empir. Softw. Eng., 2015

Editor's Note.

[BibT_eX]

[DOI]

Lu Zhang

Jian Lü

Sci. China Inf. Sci., 2015

User-aware privacy control via extended static-information-flow analysis.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2015

Program-input generation for testing database applications using existing database states.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2015

Measurement and Analysis of Mobile Web Cache Performance.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on World Wide Web, 2015

Log2: A Cost-Aware Logging Mechanism for Performance Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Characterizing Smartphone Usage Patterns from Millions of Android Users.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Internet Measurement Conference, 2015

AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Crowdsourcing Code and Process via Code Hunt.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

Code Hunt: Experience with Coding Contests at Scale.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Gamifying software security education and training via secure coding duels in code hunt.

[BibT_eX]

[DOI]

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

2014

Guided test generation for database applications via synthesized database interactions.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

Cooperative Software Testing and Analysis: Advances and Challenges.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2014

Educational programming systems for learning at scale.

[BibT_eX]

[DOI]

Qianxiang Wang

Wenxin Li

Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014

Code hunt: gamifying teaching and learning of computer science at scale.

[BibT_eX]

[DOI]

Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014

Transferring an automated test generation tool to practice: from pex to fakes and code digger.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Constructing coding duels in Pex4Fun and code hunt.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Code hunt: searching for secret code for fun.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Search-Based Software Testing, 2014

Where do developers log? an empirical study on logging practices in industry.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Improving mobile application security via bridging user expectations and application behaviors.

[BibT_eX]

[DOI]

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Mining Historical Issue Repositories to Heal Large-Scale Online Service Systems.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Tutorial: Text Analytics for Security.

[BibT_eX]

[DOI]

William Enck

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Joint voting prediction for questions and answers in CQA.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

Comprehending performance from real-world execution traces: a device-driver case.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

Relation extraction for inferring access control rules from natural language artifacts.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

2013

Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Software Analytics in Practice.

[BibT_eX]

[DOI]

IEEE Softw., 2013

Report on the international symposium on high confidence software (ISHCS 2011/2012).

[BibT_eX]

[DOI]

Lu Zhang

ACM SIGSOFT Softw. Eng. Notes, 2013

Software Analytics Principles and Practices (NII Shonan Meeting 2013-12).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2013

Introduction to the special issue on mining software repositories.

[BibT_eX]

[DOI]

Thomas Zimmermann

Arie van Deursen

Empir. Softw. Eng., 2013

Want a Good Answer? Ask a Good Question First!

[BibT_eX]

[DOI]

CoRR, 2013

A Preliminary Field Study of Game Programming on Mobile Devices.

[BibT_eX]

[DOI]

Eric Anderson

Sihan Li

CoRR, 2013

Inferring dependency constraints on parameters for web services.

[BibT_eX]

[DOI]

Proceedings of the 22nd International World Wide Web Conference, 2013

A comprehensive field study of end-user programming on mobile devices.

[BibT_eX]

[DOI]

Sihan Li

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

WHYPER: Towards Automating Risk Assessment of Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Inferring project-specific bug patterns for detecting sibling bugs.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Mining succinct and high-coverage API usage patterns from source code.

[BibT_eX]

[DOI]

Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

Contextual analysis of program logs for understanding system behaviors.

[BibT_eX]

[DOI]

Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

Characteristic studies of loop problems for structural test generation via symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Pex4Fun: A web-based environment for educational gaming via automated test generation.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Software analytics for incident management of online services: An experience report.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Context-sensitive delta inference for identifying workload-dependent performance bottlenecks.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Software analytics: achievements and challenges.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Educational software engineering: where software engineering, education, and gaming meet.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, 2013

The synergy of human and artificial intelligence in software engineering.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2013

Teaching and learning programming and software engineering via interactive gaming.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Automatic test generation for mutation testing on database applications.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

A characteristic study on failures of production distributed data-parallel programs.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Exposing Behavioral Differences in Cross-Language API Mapping Relations.

[BibT_eX]

[DOI]

Hao Zhong

Proceedings of the Fundamental Approaches to Software Engineering, 2013

A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications.

[BibT_eX]

[DOI]

Wei Yang

Mukul R. Prasad

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Systematic Structural Testing of Firewall Policies.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2012

First step towards automatic correction of firewall policy faults.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2012

Environmental Modeling for Automated Cloud Application Testing.

[BibT_eX]

[DOI]

IEEE Softw., 2012

Internetware: A Software Paradigm for Internet Computing.

[BibT_eX]

[DOI]

Gang Huang

Computer, 2012

Advances on Improving Automation in Developer Testing.

[BibT_eX]

[DOI]

Xusheng Xiao

Adv. Comput., 2012

Refactoring access control policies for performance improvement.

[BibT_eX]

[DOI]

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Paradigm in Verification of Access Control.

[BibT_eX]

[DOI]

JeeHyun Hwang

Vincent C. Hu

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Performance Issue Diagnosis for Online Service Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Automated extraction of security policies from natural-language software documents.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Automating presentation changes in dynamic web applications via collaborative hybrid analysis.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

How do software engineers understand code changes?: an exploratory study in industry.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only).

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Teaching and learning computing via social gaming with Pex4Fun (abstract only).

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done.

[BibT_eX]

[DOI]

Laleh Shikh Gholamhossein Ghandehari

Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012

Selection of regression system tests for security policy evolution.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Healing online service systems via mining historical issue repositories.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

The future of teaching programming is on mobile devices.

[BibT_eX]

[DOI]

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Identifying Failure-Inducing Combinations in a Combinatorial Test Set.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Software analytics in practice: Mini tutorial.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Making exceptions on exception handling.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Exception Handling, 2012

Inferring method specifications from natural language API descriptions.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Performance debugging in the large via mining millions of stack traces.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Teaching and Training for Software Analytics.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Pex4Fun: Teaching and Learning Computer Science via Social Gaming.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

XIAO: tuning code clones at hands of engineers in practice.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2011

Designing Fast and Scalable XACML Policy Evaluation Engines.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2011

Model Checking for Verification of Mandatory Access Control Models and Properties.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2011

Inferring specifications for resources from natural language API documentation.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2011

Alattin: mining alternative patterns for defect detection.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2011

Testing software in age of data privacy: a balancing act.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Database state generation via dynamic symbolic execution for coverage criteria.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Testing Database Systems, 2011

Browser-based software for technology transfer.

[BibT_eX]

[DOI]

Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

Synthesizing method sequences for high-coverage testing.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Mining test oracles of web search engines.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Iterative mining of resource-releasing specifications.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Generating program inputs for database application testing.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

eXpress: guided path exploration for efficient regression test generation.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Covana: precise identification of problems in pex.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Precise identification of problems for structural test generation.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

DyTa: dynamic symbolic execution guided with static verification results.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Retrofitting Unit Tests for Parameterized Unit Testing.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

An Empirical Study on Evolution of API Documentation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Pex4Fun: Teaching and learning computer science via social gaming.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

Model-Driven Impact Analysis of Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Domain Analysis and Software Development, 2011

2010

Policy-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Software Engineering, 2010

Perturbation-based user-input-validation testing of web applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Test input reduction for result inspection to facilitate fault localization.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2010

Future of developer testing: building quality in code.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Locating need-to-translate constant strings in web applications.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

BERT: a tool for behavioral regression testing.

[BibT_eX]

[DOI]

Wei Jin

Alessandro Orso

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Software intelligence: the future of mining software engineering data.

[BibT_eX]

[DOI]

Ahmed E. Hassan

Proceedings of the Workshop on Future of Software Engineering Research, 2010

ACPT: A Tool for Modeling and Verifying Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2010, 2010

Teaching and training developer-testing techniques and tool support.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Random unit-test generation with MUT-aware sequence recommendation.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

MODA: automated test generation for database applications via mock objects.

[BibT_eX]

[DOI]

Kunal Taneja

Yi Zhang

Proceedings of the ASE 2010, 2010

MiTV: multiple-implementation testing of user-input validators for web applications.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Automatic construction of an effective training set for prioritizing static analysis warnings.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Text mining in supporting software systems risk assurance.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

OCAT: object capture-based automated testing.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Automated Behavioral Regression Testing.

[BibT_eX]

[DOI]

Wei Jin

Alessandro Orso

Proceedings of the Third International Conference on Software Testing, 2010

Test generation via Dynamic Symbolic Execution for mutation testing.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Guided test generation for coverage criteria.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Mining API mapping for language migration.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Is operator-based mutant selection superior to random mutant selection?

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Parameterized unit testing: theory and practice.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

JDF: detecting duplicate bug reports in Jazz.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Mining software engineering data.

[BibT_eX]

[DOI]

Ahmed E. Hassan

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Mining Likely Properties of Access Control Policies via Association Rule Mining.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXIV, 2010

10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Interactive Fault Localization Using Test Information.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

On automated prepared statement generation to remove SQL injection vulnerabilities.

[BibT_eX]

[DOI]

Stephen Thomas

Laurie A. Williams

Inf. Softw. Technol., 2009

Data Mining for Software Engineering.

[BibT_eX]

[DOI]

Computer, 2009

Detection of Multiple-Duty-Related Security Leakage in Access Control Policies.

[BibT_eX]

[DOI]

JeeHyun Hwang

Vincent C. Hu

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Fault Localization for Firewall Policies.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

MSeqGen: object-oriented unit-test generation via mining source code.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Inferring Resource Specifications from Natural Language API Documentation.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Alattin: Mining Alternative Patterns for Detecting Neglected Conditions.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Time-aware test-case prioritization using integer linear programming.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

User-Perceived Service Availability: A Metric and an Estimation Approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Mutation Analysis of Parameterized Unit Tests.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Test selection for result inspection via mining predicate rules.

[BibT_eX]

[DOI]

Wujie Zheng

Michael R. Lyu

Proceedings of the 31st International Conference on Software Engineering, 2009

TranStrL: An automatic need-to-translate string locator for software internationalization.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Locating need-to-translate constant strings for software internationalization.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Mining exception-handling rules as sequence association rules.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Guided path exploration for regression test generation.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

An Empirical Study of Testing File-System-Dependent Software with Mock Objects.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Mining API Error-Handling Specifications from Source Code.

[BibT_eX]

[DOI]

Mithun Acharya

Proceedings of the Fundamental Approaches to Software Engineering, 2009

MAPO: Mining and Recommending API Usage Patterns.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2009, 2009

Fitness-guided path exploration in dynamic symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Security policy testing via automated program code generation.

[BibT_eX]

[DOI]

Ting Yu

Dhivya Sivasubramanian

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

Automated test data generation for aspect-oriented programs.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

DSD-Crasher: A hybrid analysis tool for bug finding.

[BibT_eX]

[DOI]

Christoph Csallner

Yannis Smaragdakis

ACM Trans. Softw. Eng. Methodol., 2008

Xengine: a fast and scalable XACML policy evaluation engine.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2008

SpotWeb: detecting framework hotspots via mining open source repositories on the web.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Working Conference on Mining Software Repositories, 2008

SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

DiffGen: Automated Regression Unit-Test Generation.

[BibT_eX]

[DOI]

Kunal Taneja

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

BERT: BEhavioral Regression Testing.

[BibT_eX]

[DOI]

Alessandro Orso

Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

Multiple-implementation testing for XACML implementations.

[BibT_eX]

[DOI]

Nuo Li

JeeHyun Hwang

Proceedings of the 2008 Workshop on Testing, 2008

Workshop on testing, analysis and verification of web software (TAV-WEB 2008).

[BibT_eX]

[DOI]

Tevfik Bultan

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Improving software reliability and productivity via mining program source code.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Dynamic Availability Estimation for Service Selection Based on Status Identification.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Quota-constrained test-case prioritization for regression testing of service-centric systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

An approach to detecting duplicate bug reports using natural language and execution information.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Property Verification for Generic Access Control Models.

[BibT_eX]

[DOI]

Vincent C. Hu

D. Richard Kuhn

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Assessing Quality of Policy Properties in Verification of Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008

2007

A fault model and mutation testing of access control policies.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on World Wide Web, 2007

Mining API patterns as partial orders from source code: from usage scenarios to specifications.

[BibT_eX]

[DOI]

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Parseweb: a programmer assistant for reusing open source code on the web.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Automated detection of api refactorings in libraries.

[BibT_eX]

[DOI]

Kunal Taneja

Danny Dig

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs.

[BibT_eX]

[DOI]

Kobi Inkumsah

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A framework and tool supports for testing modularity of software design.

[BibT_eX]

[DOI]

Yuanfang Cai

Sunny Huynh

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Applying Interface-Contract Mutation in Regression Testing of Component-Based Software.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Towards a Framework for Differential Unit Testing of Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Automation of Software Test, 2007

Mining Software Engineering Data.

[BibT_eX]

[DOI]

Jian Pei

Ahmed E. Hassan

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Automated Test Generation for Access Control Policies via Change-Impact Analysis.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Engineering for Secure Systems, 2007

WebSob: A Tool for Robustness Testing of Web Services.

[BibT_eX]

[DOI]

Suranjana Basu

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Automated Inference of Pointcuts in Aspect-Oriented Refactoring.

[BibT_eX]

[DOI]

Prasanth Anbalagan

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

UnitPlus: assisting developer testing in Eclipse.

[BibT_eX]

[DOI]

Yoonki Song

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

Conformance Checking of Access Control Policies Specified in XACML.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Perspectives on automated testing of aspect-oriented programs.

[BibT_eX]

[DOI]

Jianjun Zhao

Proceedings of the 3rd workshop on Testing aspect-oriented programs, 2007

2006

Clamp: automated joinpoint clustering and pointcut mining in aspect-oriented refactoring.

[BibT_eX]

[DOI]

Prasanth Anbalagan

ACM SIGSOFT Softw. Eng. Notes, 2006

Tool-assisted unit-test generation and selection based on operational abstractions.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2006

MAPO: mining API usages from open source repositories.

[BibT_eX]

[DOI]

Jian Pei

Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Effective Generation of Interface Robustness Properties for Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Towards regression test selection for AspectJ programs.

[BibT_eX]

[DOI]

Jianjun Zhao

Nan Li

Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, 2006

APTE: automated pointcut testing for AspectJ programs.

[BibT_eX]

[DOI]

Prasanth Anbalagan

Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, 2006

Detecting Redundant Unit Tests for AspectJ Programs.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Mining Interface Specifications for Generating Checkable Robustness Properties.

[BibT_eX]

[DOI]

Mithun Acharya

Jun Xu

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Improving Effectiveness of Automated Software Testing in the Absence of Specifications.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Substra: A Framework for Automatic Generation of Integration Tests.

[BibT_eX]

[DOI]

Hai Yuan

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Automatic extraction of abstract-object-state machines from unit-test executions.

[BibT_eX]

[DOI]

Hai Yuan

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Understanding software application interfaces via string analysis.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Defining and Measuring Policy Coverage in Testing Access Control Policies.

[BibT_eX]

[DOI]

Ting Yu

Proceedings of the Information and Communications Security, 8th International Conference, 2006

Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2006, 2006

A framework and tool supports for generating test inputs of AspectJ programs.

[BibT_eX]

[DOI]

Jianjun Zhao

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

Improving effectiveness of automated software testing in the absence of specifications.

[BibT_eX]

[DOI]

PhD thesis, 2005

Checking Inside the Black Box: Regression Testing by Comparing Value Spectra.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Helping users avoid bugs in GUI applications.

[BibT_eX]

[DOI]

Amir Michail

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Automatic identification of common and special object-oriented unit tests.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.

[BibT_eX]

[DOI]

Darko Marinov

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Tool-Assisted Unit Test Selection Based on Operational Violations.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Mutually Enhancing Test Generation and Specification Inference.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 2003

2002

A Model-Based Approach to Object-Oriented Software Metrics.

[BibT_eX]

[DOI]

Fuqing Yang

J. Comput. Sci. Technol., 2002

2001

JBOORET: an Automated Tool to Recover OO Design and Source Models.

[BibT_eX]

[DOI]