ReckDroid: Detecting red packet fraud in Android apps.
Comput. Secur., 2025
Coverage-enhanced fault diagnosis for Deep Learning programs: A learning-based approach with hybrid metrics.
Inf. Softw. Technol., 2024
PredRacer: Predictively Detecting Data Races in Android Applications.
Proceedings of the IEEE International Conference on Software Analysis, 2024
Semantic Test Repair for Web Applications.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Asymmetric scaling scheme over the two dimensions of a quantum image.
Quantum Inf. Process., 2020
Leveraging keyword-guided exploration to build test models for web applications.
Inf. Softw. Technol., 2019
A Splitting Strategy for Testing Concurrent Programs.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Parallel Reachability Testing Based on Hadoop MapReduce.
Proceedings of the Software Analysis, Testing, and Evolution, 2018
Automated Testing of Web Applications Using Combinatorial Strategies.
J. Comput. Sci. Technol., 2017
Precise slicing of interprocedural concurrent programs.
Frontiers Comput. Sci., 2017
Variable strength combinatorial testing of concurrent programs.
Frontiers Comput. Sci., 2016
A Mixed-way Combinatorial Testing for Concurrent Programs (S).
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013
Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Identification of Design Patterns Using Dependence Analysis.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Slicing Concurrent Programs Based on Program Reachability Graphs.
Proceedings of the 10th International Conference on Quality Software, 2010
Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications.
Proceedings of the Computational Science, 2004