Dan Hao

Orcid: 0000-0001-8295-303X

Affiliations:
  • Peking University, Institute of Software, Beijing, China


According to our database1, Dan Hao authored at least 104 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fairness Testing of Machine Translation Systems.
ACM Trans. Softw. Eng. Methodol., July, 2024

Compiler Autotuning through Multiple-phase Learning.
ACM Trans. Softw. Eng. Methodol., May, 2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact).
Dagstuhl Artifacts Ser., 2024

Do Advanced Language Models Eliminate the Need for Prompt Engineering in Software Engineering?
CoRR, 2024

LLM-based Abstraction and Concretization for GUI Test Migration.
CoRR, 2024

What can we learn from quality assurance badges in open-source software?
Sci. China Inf. Sci., 2024

Synthesis-Based Enhancement for GUI Test Case Migration.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Commit Artifact Preserving Build Prediction.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Learning-based Widget Matching for Migrating GUI Test Cases.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023
Compiler Auto-tuning through Multiple Phase Learning.
CoRR, 2023

Compiler Auto-Tuning via Critical Flag Selection.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Merge Conflict Resolution: Classification or Generation?
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Revisiting Machine Learning based Test Case Prioritization for Continuous Integration.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

Revisiting Learning-based Commit Message Generation.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study.
Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022
AGA: An Accelerated Greedy Additional Algorithm for Test Case Prioritization.
IEEE Trans. Software Eng., 2022

Parallel Test Prioritization.
ACM Trans. Softw. Eng. Methodol., 2022

Static Type Recommendation for Python.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization.
Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

FIRA: Fine-Grained Graph-Based Code Change Representation for Automated Commit Message Generation.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
A Study of Bug Resolution Characteristics in Popular Programming Languages.
IEEE Trans. Software Eng., 2021

Historical Spectrum Based Fault Localization.
IEEE Trans. Software Eng., 2021

Coverage Prediction for Accelerating Compiler Testing.
IEEE Trans. Software Eng., 2021

A Survey of Compiler Testing.
ACM Comput. Surv., 2021

How Does Regression Test Selection Affect Program Repair? An Extensive Study on 2 Million Patches.
CoRR, 2021

Boosting coverage-based fault localization via graph-based representation learning.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020
Understanding build issue resolution in practice: symptoms and fix patterns.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

SRRTA: Regression Testing Acceleration via State Reuse.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service Systems.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Can automated program repair refine fault localization? a unified debugging approach.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Cost-Effective Testing of a Deep Learning Model through Input Reduction.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019
Predictive Mutation Testing.
IEEE Trans. Software Eng., 2019

Can Automated Program Repair Refine Fault Localization?
CoRR, 2019

Chapter One - A Survey on Regression Test-Case Prioritization.
Adv. Comput., 2019

Compiler bug isolation via effective witness test program generation.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

History-Guided Configuration Diversification for Compiler Test-Program Generation.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Continuous Incident Triage for Large-Scale Online Service Systems.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

History-driven build failure fixing: how far are we?
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

An Empirical Comparison of Mutant Selection Assessment Metrics.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

AutoMR: Automatic Discovery and Cleansing of Numerical Metamorphic Relations.
Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Automatic Discovery and Cleansing of Numerical Metamorphic Relations.
Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

An empirical investigation of incident triage for online service systems.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018
How Does Bug-Handling Effort Differ Among Different Programming Languages?
CoRR, 2018

Automated refactoring of nested-IF formulae in spreadsheets.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Optimizing test prioritization via test distribution analysis.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

To Detect Abnormal Program Behaviours via Mutation Deduction.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Context-aware patch generation for better automated program repair.
Proceedings of the 40th International Conference on Software Engineering, 2018

Learning to Accelerate Symbolic Execution via Code Transformation.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
The central role of test automation in software quality assurance.
Softw. Qual. J., 2017

An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair.
CoRR, 2017

Faster mutation analysis via equivalence modulo states.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical Study.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

How Do Assertions Impact Coverage-Based Test-Suite Reduction?
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Learning to prioritize test programs for compiler testing.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
To Be Optimal or Not in Test-Case Prioritization.
IEEE Trans. Software Eng., 2016

Test-case prioritization: achievements and challenges.
Frontiers Comput. Sci., 2016

High-confidence software evolution.
Sci. China Inf. Sci., 2016

Isomorphic regression testing: executing uncovered branches without test augmentation.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Supporting oracle construction via static analysis.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Predictive mutation testing.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Empirical Evaluation of Test Coverage for Functional Programs.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Test Case Prioritization for Compilers: A Text-Vector Based Approach.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Mining usage data from large-scale Android users: challenges and opportunities.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

PRADA: prioritizing android devices for apps by mining large-scale usage data.
Proceedings of the 38th International Conference on Software Engineering, 2016

How does regression test prioritization perform in real-world software evolution?
Proceedings of the 38th International Conference on Software Engineering, 2016

An empirical comparison of compiler testing techniques.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
A survey on bug-report analysis.
Sci. China Inf. Sci., 2015

Inner oracles: input-specific assertions on internal states.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Educational Evaluation in the PKU SPOC Course "Data Structures and Algorithms".
Proceedings of the Second ACM Conference on Learning @ Scale, 2015

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Mutation-based test-case prioritization in software evolution.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Enhancing Defect Prediction with Static Defect Analysis.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

10th International Workshop on Automation of Software Test (AST 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
A Unified Test Case Prioritization Approach.
ACM Trans. Softw. Eng. Methodol., 2014

Cooperative Software Testing and Analysis: Advances and Challenges.
J. Comput. Sci. Technol., 2014

Recent Progress in Software Testing, Debugging and Analysis: A Survey.
Int. J. Softw. Informatics, 2014

Search-based inference of polynomial metamorphic relations.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

An Empirical Study on the Scalability of Selective Mutation Testing.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013
PathART: path-sensitive adaptive random testing.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Bridging the gap between the total and additional test-case prioritization strategies.
Proceedings of the 35th International Conference on Software Engineering, 2013

Is This a Bug or an Obsolete Test?
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Adaptive Test-Case Prioritization Guided by Output Inspection.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
A Static Approach to Prioritizing JUnit Test Cases.
IEEE Trans. Software Eng., 2012

An Empirical Study of Execution-Data Classification Based on Machine Learning.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

On-demand test suite reduction.
Proceedings of the 34th International Conference on Software Engineering, 2012

2010
Test input reduction for result inspection to facilitate fault localization.
Autom. Softw. Eng., 2010

2009
Interactive Fault Localization Using Test Information.
J. Comput. Sci. Technol., 2009

Test-Data Generation Guided by Static Defect Detection.
J. Comput. Sci. Technol., 2009

Jtop: Managing JUnit Test Cases in Absence of Coverage Information.
Proceedings of the ASE 2009, 2009

Prioritizing JUnit test cases in absence of coverage information.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

VIDA: Visual interactive debugging.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
On similarity-awareness in testing-based fault localization.
Autom. Softw. Eng., 2008

2006
Identifying use cases in source code.
J. Syst. Softw., 2006

Testing-based interactive fault localization.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Towards Interactive Fault Localization Using Test Information.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005
A similarity-aware approach to testing based fault localization.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Eliminating Harmful Redundancy for Testing-Based Fault Localization Using Test Suite Reduction: An Experimental Study.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2004
Alternative Scalable Algorithms for Lattice-Based Feature Location.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

2003
Discovering Use Cases from Source Code using the Branch-Reserving Call Graph.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003


  Loading...