Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks.

[BibT_eX]

[DOI]

Jian Shen

Zhong Li

Yifei Lu

Minxue Pan

Xuandong Li

Autom. Softw. Eng., June, 2024

Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., March, 2024

Understanding and Finding Java Decompiler Bugs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Demystifying and Assessing Code Understandability in Java Decompilation.

[BibT_eX]

[DOI]

CoRR, 2024

Beyond Code Generation: Assessing Code LLM Maturity with Postconditions.

[BibT_eX]

[DOI]

Fusen He

Juan Zhai

Minxue Pan

CoRR, 2024

Exploring and Improving Code Completion for Test Code.

[BibT_eX]

[DOI]

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

BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments.

[BibT_eX]

[DOI]

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

Silent Taint-Style Vulnerability Fixes Identification.

[BibT_eX]

[DOI]

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

Distance-Aware Test Input Selection for Deep Neural Networks.

[BibT_eX]

[DOI]

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

Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning.

[BibT_eX]

[DOI]

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

Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications.

[BibT_eX]

[DOI]

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

Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

2023

Git command recommendations using crowd-sourced knowledge.

[BibT_eX]

[DOI]

Inf. Softw. Technol., July, 2023

Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., March, 2023

Program Repair With Repeated Learning.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., February, 2023

Preference-wise Testing of Android Apps via Test Amplification.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2023

Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts.

[BibT_eX]

[DOI]

Wenhua Yang

Chong Zhang

Minxue Pan

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

Git Merge Conflict Resolution Leveraging Strategy Classification and LLM.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Mobile Test Script Generation from Natural Language Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning.

[BibT_eX]

[DOI]

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

Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet?

[BibT_eX]

[DOI]

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

Understanding and Enhancing Issue Prioritization in GitHub.

[BibT_eX]

[DOI]

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

Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization.

[BibT_eX]

[DOI]

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

2022

Restore: Retrospective Fault Localization Enhancing Automated Program Repair.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

GUI-Guided Test Script Repair for Mobile Apps.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2022

Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets.

[BibT_eX]

[DOI]

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

Detecting resource utilization bugs induced by variant lifecycles in Android.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Functional Scenario Classification for Android Applications using GNNs.

[BibT_eX]

[DOI]

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

DeepLabel: Automated Issue Classification for Issue Tracking Systems.

[BibT_eX]

[DOI]

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

NEGAR: Network Embedding Guided Architecture Recovery for Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Documentation-based functional constraint generation for library methods.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling.

[BibT_eX]

[DOI]

Minxue Pan

Jun Wei

Zhanqi Cui

Int. J. Softw. Informatics, 2021

GUIDER: GUI structure and vision co-guided test script repair for Android apps.

[BibT_eX]

[DOI]

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

Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Effective testing of Android apps using extended IFML models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Enhancing example-based code search with functional semantics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Developer portraying: A quick approach to understanding developers on OSS platforms.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2020

C2S: translating natural language comments to formal program specifications.

[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

Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Reinforcement learning based curiosity-driven testing of Android applications.

[BibT_eX]

[DOI]

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

Automatically Detecting Exception Handling Defects in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

A Feature Table approach to decomposing monolithic applications into microservices.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

CPC: automatically classifying and propagating natural language comments via program analysis.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Template-based model generation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow).

[BibT_eX]

[DOI]

计算机科学, 2019

Automatic Code Summarization: A Systematic Literature Review.

[BibT_eX]

[DOI]

Yuxiang Zhu

Minxue Pan

CoRR, 2019

A Bug or a Suggestion? An Automatic Way to Label Issues.

[BibT_eX]

[DOI]

CoRR, 2019

PI-REC: Progressive Image Reconstruction Network With Edge and Color Domain.

[BibT_eX]

[DOI]

Sheng You

Ning You

Minxue Pan

CoRR, 2019

Preference-wise testing for Android applications.

[BibT_eX]

[DOI]

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

Extracting Mapping Relations for Mobile User Interface Transformation.

[BibT_eX]

[DOI]

Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

GUI-guided repair of mobile test scripts.

[BibT_eX]

[DOI]

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

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.

[BibT_eX]

[DOI]

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

Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2018

Efficient validation of self-adaptive applications by counterexample probability maximization.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

[Research Paper] Semantics-Based Code Search Using Input/Output Examples.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Static extraction of IFML models for Android apps.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Dual-force: understanding WebView malware via cross-language forced execution.

[BibT_eX]

[DOI]

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

A Documentation-based Constraint Generation Method for Java APIs.

[BibT_eX]

[DOI]

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017

一种基于文档的移动平台间UI控件对应方法 (Document Based Matching Method for Mobile UI Components).

[BibT_eX]

[DOI]

计算机科学, 2017

一种基于UML关系的Java代码库构造方法 (Method of Java Code Repository Construction Based on UML Relationship).

[BibT_eX]

[DOI]

计算机科学, 2017

2015

An Open Framework for Semantic Code Queries on Heterogeneous Repositories.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2012

Timing analysis of scenario-based specifications using linear programming.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

Timing analysis of MSC specifications with asynchronous concatenation.

[BibT_eX]

[DOI]

Minxue Pan

Xuandong Li

Int. J. Softw. Tools Technol. Transf., 2012

Loop reduction techniques for reachability analysis of linear hybrid automata.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2012

An MDE-based approach to the verification of SysML state machine diagram.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

2009

TASS: Timing Analyzer of Scenario-Based Specifications.

[BibT_eX]

[DOI]

Minxue Pan

Lei Bu

Xuandong Li

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Minxue Pan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...