Multiple-entry testing of android applications by constructing activity launching contexts J Yan, H Liu, L Pan, J Yan, J Zhang, B Liang Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 27 | 2020 |
Land: A user-friendly and customizable test generation tool for android apps J Yan, L Pan, Y Li, J Yan, J Zhang Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 14 | 2018 |
Static asynchronous component misuse detection for Android applications L Pan, B Cui, H Liu, J Yan, S Wang, J Yan, J Zhang Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 8 | 2020 |
Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android L Pan, B Cui, J Yan, X Ma, J Yan, J Zhang Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 8 | 2019 |
Optimizing shortwave radio broadcast resource allocation via pseudo-boolean constraint solving and local search F Ma, X Gao, M Yin, L Pan, J Jin, H Liu, J Zhang Principles and Practice of Constraint Programming: 22nd International …, 2016 | 6 | 2016 |
Integrating ILP and SMT for shortwave radio broadcast resource allocation and frequency assignment L Pan, J Jin, X Gao, W Sun, F Ma, M Yin, J Zhang Principles and Practice of Constraint Programming: 23rd International …, 2017 | 3 | 2017 |
Dynamic Detection of AsyncTask Related Defects Q Liu, L Pan, B Cui, J Yan, J Zhang 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | | 2021 |
Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation D Yan, L Pan, R Yan, J Yan, J Zhang 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017 | | 2017 |