2024
Understanding and Detecting Inefficient Image Displaying Issues in Android Apps.
J. Comput. Sci. Technol., March, 2024
Programming by Example Made Easy.
ACM Trans. Softw. Eng. Methodol., January, 2024
Incremental-concurrent fusion checking for efficient context consistency.
J. Syst. Softw., January, 2024
Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench.
CoRR, 2024
Understanding Robustness of Visual State Space Models for Image Classification.
CoRR, 2024
JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Towards Life-long Software Self-validation in Production.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024
Harnessing Edge Information for Improved Robustness in Vision Transformers.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.
Proc. ACM Program. Lang., October, 2023
Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis.
Autom. Softw. Eng., June, 2023
Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty.
IEEE Trans. Reliab., March, 2023
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward.
IEEE Trans. Software Eng., 2023
Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem.
IEEE Trans. Software Eng., 2023
Growing Software: Objective, Methodology, and Technology.
IEEE Trans. Comput. Soc. Syst., 2023
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis.
Proc. ACM Program. Lang., 2023
Validating JIT Compilers via Compilation Space Exploration.
Proceedings of the 29th Symposium on Operating Systems Principles, 2023
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
2022
Will Dependency Conflicts Affect My Program's Semantics?
IEEE Trans. Software Eng., 2022
Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow.
ACM Trans. Softw. Eng. Methodol., 2022
GridDroid - An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface.
J. Comput. Sci. Technol., 2022
Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments.
J. Comput. Sci. Technol., 2022
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Cross-device record and replay for Android apps.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022
INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022
Push-Button Synthesis of Watch Companions for Android Apps.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
Generic Adaptive Scheduling for Efficient Context Inconsistency Detection.
IEEE Trans. Software Eng., 2021
Making pointer analysis more precise by unleashing the power of selective context sensitivity.
Proc. ACM Program. Lang., 2021
Towards effective metamorphic testing by algorithm stability for linear classification programs.
J. Syst. Softw., 2021
TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint.
Inf. Softw. Technol., 2021
On interleaving space exploration of multi-threaded programs.
Frontiers Comput. Sci., 2021
Joint Distribution across Representation Space for Out-of-Distribution Detection.
CoRR, 2021
Timely and accurate detection of model deviation in self-adaptive software-intensive systems.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
PASTA: Synthesizing Object State Transformers for Dynamic Software Updates.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Synthesizing Object State Transformers for Dynamic Software Updates.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
HERO: On the Chaos When PATH Meets Modules.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Automatic Performance Testing for Image Displaying in Android Apps.
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021
2020
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software.
IEEE Trans. Reliab., 2020
WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements.
J. Syst. Softw., 2020
智能化信息物理系统中非确定性的分类研究 (Taxonomy of Uncertainty Factors in Intelligence-oriented Cyber-physical Systems).
计算机科学, 2020
Perspectives on search strategies in automated test input generation.
Frontiers Comput. Sci., 2020
Operational calibration: debugging confidence errors for DNNs in the field.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020
M.R. Hunter: Hunting for Metamorphic Relations by Puzzle Solving.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Watchman: monitoring dependency conflicts for Python library ecosystem.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
ComboDroid: generating high-quality test inputs for Android apps via use case combinations.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Dissector: input validation for deep learning applications by crossing-layer dissection.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Testing file system implementations on layered models.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
2019
J. Comput. Sci. Technol., 2019
DroidLeaks: a comprehensive database of resource leaks in Android apps.
Empir. Softw. Eng., 2019
Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Boosting operational DNN testing efficiency through conditioning.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Structural coverage criteria for neural networks could be misleading.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019
Practical GUI testing of Android applications via model abstraction and refinement.
Proceedings of the 41st International Conference on Software Engineering, 2019
VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2018
Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.
ACM Trans. Internet Techn., 2018
AATT+: Effectively manifesting concurrency bugs in Android apps.
Sci. Comput. Program., 2018
Efficient validation of self-adaptive applications by counterexample probability maximization.
J. Syst. Softw., 2018
J. Comput. Sci. Technol., 2018
CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.
CoRR, 2018
NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications.
Sci. China Inf. Sci., 2018
Testing multithreaded programs via thread speed control.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
SynEva: Evaluating ML Programs by Mirror Program Synthesis.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
ReScue: crafting regular expression DoS attacks.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
LESdroid: a tool for detecting exported service leaks of Android applications.
Proceedings of the 26th Conference on Program Comprehension, 2018
RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018
Synthesizing relation-aware entity transformation by examples.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
Needle: detecting code plagiarism on student submissions.
Proceedings of ACM Turing Celebration Conference - China, 2018
2017
CACheck: Detecting and Repairing Cell Arrays in Spreadsheets.
IEEE Trans. Software Eng., 2017
How effectively can spreadsheet anomalies be detected: An empirical study.
J. Syst. Softw., 2017
一种面向功能类似程序的高效克隆检测技术 (Efficient Clone Detection Technique for Functionally Similar Programs).
计算机科学, 2017
CyanDroid: stable and effective energy inefficiency diagnosis for Android apps.
Sci. China Inf. Sci., 2017
RepDroid: an automated tool for Android application repackaging detection.
Proceedings of the 25th International Conference on Program Comprehension, 2017
NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017
GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017
Synthesizing object transformation for dynamic software updating.
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
SIT: Sampling-based interactive testing for self-adaptive apps.
J. Syst. Softw., 2016
Suppressing detection of inconsistency hazards with pattern learning.
Inf. Softw. Technol., 2016
Hybrid CPU-GPU constraint checking: Towards efficient context consistency.
Inf. Softw. Technol., 2016
DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications.
CoRR, 2016
Understanding and detecting wake lock misuses for Android applications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Detecting table clones and smells in spreadsheets.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Online shared memory dependence reduction via bisectional coordination.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Crash consistency validation made easy.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Verifying Distributed Controllers with Local Invariants.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
E-greenDroid: effective energy inefficiency analysis for android applications.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016
CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features.
Proceedings of the 38th International Conference on Software Engineering, 2016
CURE: Automated Patch Generation for Dynamic Software Update.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
Testing Android Apps via Guided Gesture Event Generation.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
Effectively Manifesting Concurrency Bugs in Android Apps.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
Improving Reliability of Dynamic Software Updating Using Runtime Recovery.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
2015
Cina: Suppressing the Detection of Unstable Context Inconsistency.
IEEE Trans. Software Eng., 2015
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications.
IEEE Softw., 2015
SEES Summary: Software Engineering Educators Symposium 2014.
ACM SIGSOFT Softw. Eng. Notes, 2015
小车远程控制及自主寻路系统的设计与实现 (Design and Implementation of Vehicle Remote Control and Independent Way-finding System).
计算机科学, 2015
A survey on dependability improvement techniques for pervasive computing systems.
Sci. China Inf. Sci., 2015
An Event-Based Formal Framework for Dynamic Software Update.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Optimistic Shared Memory Dependence Tracing (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Facilitating Reusable and Scalable Automated Testing and Analysis for Android Apps.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015
CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Concolic Metamorphic Debugging.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
ABC: Accelerated Building of C/C++ Projects.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
2014
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.
IEEE Trans. Software Eng., 2014
Low-disruptive dynamic updating of Java applications.
Inf. Softw. Technol., 2014
CHECKERDROID : Automated Quality Assurance for Smartphone Applications.
Int. J. Softw. Informatics, 2014
Automatically generated patches as debugging aids: a human study.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Verifying self-adaptive applications suffering uncertainty.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Automated recommendation of dynamic software update points: an exploratory study.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014
Characterizing and detecting performance bugs for smartphone applications.
Proceedings of the 36th International Conference on Software Engineering, 2014
CARE: cache guided deterministic replay for concurrent Java programs.
Proceedings of the 36th International Conference on Software Engineering, 2014
SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
GAIN: GPU-Based Constraint Checking for Context Consistency.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
User Guided Automation for Testing Mobile Apps.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
AFChecker: Effective model checking for context-aware adaptive applications.
J. Syst. Softw., 2013
Detecting Faults in Context-Aware Adaptation.
Int. J. Softw. Informatics, 2013
Towards context consistency by concurrent checking for Internetware applications.
Sci. China Inf. Sci., 2013
Where has my battery gone? Finding sensor related energy black holes in smartphone applications.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications, 2013
IDEA: improving dependability for self-adaptive applications.
Proceedings of the 2013 Middleware Doctoral Symposium, 2013
VeriDroid: automating Android application verification.
Proceedings of the 2013 Middleware Doctoral Symposium, 2013
DPAC: an infrastructure for dynamic program analysis of concurrency Java programs.
Proceedings of the 2013 Middleware Doctoral Symposium, 2013
Environment rematching: Toward dependability improvement for self-adaptive applications.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Challenges in developing software for cyber-physical systems.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013
Managing Environment and Adaptation Risks for the Internetware Paradigm.
Proceedings of the Theories of Programming and Formal Methods, 2013
2012
Adam: Identifying defects in context-aware adaptation.
J. Syst. Softw., 2012
Dynamic fault detection in context-aware adaptation.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012
ConsView: Towards Application-Specific Consistent Context Views.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Resynchronizing Model-Based Self-Adaptive Systems with Environments.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Javelus: A Low Disruptive Approach to Dynamic Software Updates.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
2011
Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2011
2010
Partial constraint checking for context consistency in pervasive computing.
ACM Trans. Softw. Eng. Methodol., 2010
Sequential Event Pattern Based Design of Context-Aware Adaptive Application.
Int. J. Softw. Informatics, 2010
Data-driven testing methodology for RFID systems.
Frontiers Comput. Sci. China, 2010
Sequential event pattern based context-aware adaptation.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010
2009
Atomicity Analysis of Service Composition across Organizations.
IEEE Trans. Software Eng., 2009
2008
Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008
2007
Detection and resolution of atomicity violation in service composition.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
On impact-oriented automatic resolution of pervasive context inconsistency.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Goal-Directed Context Validation for Adaptive Ubiquitous Systems.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007
2006
Local analysis of atomicity sphere for B2B collaboration.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Incremental consistency checking for pervasive context.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
2005
Inconsistency detection and resolution for context-aware middleware support.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005
2004
Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications.
Proceedings of the Network and Parallel Computing, IFIP International Conference, 2004
Semantic Interpretation and Matching of Web Services.
Proceedings of the Conceptual Modeling, 2004
Building Extensible and High Performance Distributed Transaction Service.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004
2003
Conformance Test of Distributed Transaction Service.
Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003