Skip to menu Skip to content Skip to footer

2024

Conference Publication

APICIA: An API Change Impact Analyzer for Android Apps

Mahmud, Tarek, Che, Meiru, Rouijel, Jihan, Khan, Mujahid and Yang, Guowei (2024). APICIA: An API Change Impact Analyzer for Android Apps. IEEE/ACM 46th International Conference on Software Engineering, Lisbon, Portugal, 14 - 20 April 2024. New York, NY United States: Association for Computing Machinery. doi: 10.1145/3639478.3640041

APICIA: An API Change Impact Analyzer for Android Apps

2024

Conference Publication

Concrete constraint guided symbolic execution

Sun, Yue, Yang, Guowei, Lv, Shichao, Li, Zhi and Sun, Limin (2024). Concrete constraint guided symbolic execution. ICSE '24: IEEE/ACM 46th International Conference on Software Engineering, Lisbon, Portugal, 14 - 20 April 2024. Washington, DC, United States: IEEE Computer Society. doi: 10.1145/3597503.3639078

Concrete constraint guided symbolic execution

2023

Conference Publication

SJFuzz: seed and mutator scheduling for JVM fuzzing

Wu, Mingyuan, Ouyang, Yicheng, Lu, Minghai, Chen, Junjie, Zhao, Yingquan, Cui, Heming, Yang, Guowei and Zhang, Yuqun (2023). SJFuzz: seed and mutator scheduling for JVM fuzzing. 31st ACM Joint Meeting of the European Software Engineering Conference / Symposium on the Foundations-of-Software-Engineering (ESEC/FSE), San Francisco, CA USA, 3-9 December 2023. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3611643.3616277

SJFuzz: seed and mutator scheduling for JVM fuzzing

2023

Conference Publication

SCPatcher: mining crowd security discussions to enrich secure coding practices

Jiang, Ziyou, Shi, Lin, Yang, Guowei and Wang, Qing (2023). SCPatcher: mining crowd security discussions to enrich secure coding practices. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxembourg, 11-15 September 2023. Los Alamitos, CA USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/ase56229.2023.00040

SCPatcher: mining crowd security discussions to enrich secure coding practices

2023

Conference Publication

POSTER: Toward Intelligent Cyber Attacks for Moving Target Defense Techniques in Software-Defined Networking

Moghaddam, Tina, Yang, Guowei, Thapa, Chandra, Camtepe, Seyit and Kim, Dan Dongseong (2023). POSTER: Toward Intelligent Cyber Attacks for Moving Target Defense Techniques in Software-Defined Networking. 18th ACM ASIA Conference on Computer and Communications Security (ASIA CCS), Melbourne, VIC, Australia, 10-14 July 2023. New York, NY, United States: ACM. doi: 10.1145/3579856.3592825

POSTER: Toward Intelligent Cyber Attacks for Moving Target Defense Techniques in Software-Defined Networking

2023

Conference Publication

Intelligent constraint classification for symbolic execution

Wen, Junye, Mahmud, Tarek, Che, Meiru, Yan, Yan and Yang, Guowei (2023). Intelligent constraint classification for symbolic execution. 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Macao, Peoples Republic of China, 21-24 March 2023. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/saner56733.2023.00023

Intelligent constraint classification for symbolic execution

2022

Conference Publication

Feedback-driven incremental symbolic execution

Yi, Qiuping and Yang, Guowei (2022). Feedback-driven incremental symbolic execution. 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE), Charlotte, NC USA, 31 October-3 November 2022. Los Alamitos, CA USA: IEEE Computer Society. doi: 10.1109/ISSRE55969.2022.00055

Feedback-driven incremental symbolic execution

2022

Conference Publication

Android API field evolution and its induced compatibility issues

Mahmud, Tarek, Che, Meiru and Yang, Guowei (2022). Android API field evolution and its induced compatibility issues. 16th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Helsinki, Finland, 19-23 September 2022. New York, NY, United States: ACM. doi: 10.1145/3544902.3546242

Android API field evolution and its induced compatibility issues

2022

Conference Publication

ACID: an API compatibility issue detector for Android apps

Mahmud, Tarek, Che, Meiru and Yang, Guowei (2022). ACID: an API compatibility issue detector for Android apps. 44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), Pittsburgh, PA, United States, 22-27 May 2022. Washington, DC, United States: IEEE Computer Society. doi: 10.1109/ICSE-Companion55297.2022.9793733

ACID: an API compatibility issue detector for Android apps

2022

Conference Publication

Evaluating and improving neural program-smoothing-based fuzzing

Wu, Mingyuan, Jiang, Ling, Xiang, Jiahong, Zhang, Yuqun, Yang, Guowei, Ma, Huixin, Nie, Sen, Wu, Shi, Cui, Heming and Zhang, Lingming (2022). Evaluating and improving neural program-smoothing-based fuzzing. ACM/IEEE 44th International Conference on Software Engineering (ICSE), Pittsburgh, PA, United States, 22-27 May 2022. Washington, DC, United States: IEEE Computer Society. doi: 10.1145/3510003.3510089

Evaluating and improving neural program-smoothing-based fuzzing

2021

Conference Publication

API change impact analysis for android apps

Mahmud, Tarek, Khan, Mujahid, Rouijel, Jihan, Che, Meiru and Yang, Guowei (2021). API change impact analysis for android apps. 45th Annual International IEEE-Computer-Society Computers, Software, and Applications Conference (COMPSAC), Virtual, 12-16 July 2021. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/COMPSAC51774.2021.00122

API change impact analysis for android apps

2021

Conference Publication

Android compatibility issue detection using API differences

Mahmud, Tarek, Che, Meiru and Yang, Guowei (2021). Android compatibility issue detection using API differences. 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Honolulu, HI USA, 9-12 March 2021. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/saner50967.2021.00051

Android compatibility issue detection using API differences

2021

Conference Publication

Audio-visual event localization via recursive fusion by joint co-attention

Duan, Bin, Tang, Hao, Wang, Wei, Zong, Ziliang, Yang, Guowei and Yan, Yan (2021). Audio-visual event localization via recursive fusion by joint co-attention. IEEE Winter Conference on Applications of Computer Vision (WACV), Waikoloa, HI, United States, 3-8 January 2021. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/WACV48630.2021.00406

Audio-visual event localization via recursive fusion by joint co-attention

2020

Conference Publication

Summary-guided incremental symbolic execution

Yi, Qiuping, Wen, Junye and Yang, Guowei (2020). Summary-guided incremental symbolic execution. International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July 2020. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1145/3377812.3390895

Summary-guided incremental symbolic execution

2019

Conference Publication

Parallel property checking with staged symbolic execution

Wen, Junye and Yang, Guowei (2019). Parallel property checking with staged symbolic execution. 34th ACM/SIGAPP Annual International Symposium on Applied Computing (SAC), Limassol, Cyprus, 8-12 April 2019. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3297280.3297457

Parallel property checking with staged symbolic execution

2018

Conference Publication

Parallel property checking with symbolic execution

Wen, Junye and Yang, Guowei (2018). Parallel property checking with symbolic execution. 30th International Conference on Software Engineering and Knowledge Engineering, SEKE 2018, Redwood City, United States, 1-3 July 2018. IL, United States: Knowledge Systems Institute. doi: 10.18293/SEKE2018-171

Parallel property checking with symbolic execution

2018

Conference Publication

Using test ranges to improve symbolic execution

Qiu, Rui, Khurshid, Sarfraz, Pasareanu, Corina S., Wen, Junye and Yang, Guowei (2018). Using test ranges to improve symbolic execution. 10th International Symposium on NASA Formal Methods (NFM), Newport News VA, USA, 17-19 April 2018. Cham, Switzerland: Springer. doi: 10.1007/978-3-319-77935-5_28

Using test ranges to improve symbolic execution

2018

Conference Publication

How do Android operating system updates impact apps?

Yang, Guowei, Jones, Jeffrey, Moninger, Austin and Che, Meiru (2018). How do Android operating system updates impact apps?. 5th ACM/IEEE International Conference on Mobile Software Engineering and Systems (MOBILESoft), Gothenburg, Sweden, 27-28 May 2018. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3197231.3197258

How do Android operating system updates impact apps?

2017

Conference Publication

CQM: coverage-constrained quality maximization in crowdsourcing test

Xie, Miao, Wang, Qing, Cui, Qiang, Yang, Guowei and Li, Mingshu (2017). CQM: coverage-constrained quality maximization in crowdsourcing test. 39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017, Buenos Aires, Argentina, 20-28 May 2017. United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICSE-C.2017.112

CQM: coverage-constrained quality maximization in crowdsourcing test

2017

Conference Publication

A synergistic approach for distributed symbolic execution using test ranges

Qiu, Rui, Khurshid, Sarfraz, Pasareanu, Corina S. and Yang, Guowei (2017). A synergistic approach for distributed symbolic execution using test ranges. International Conference on Software Engineering Companion (ICSE-C), Buenos Aires, Argentina, 20-28 May 2017. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ICSE-C.2017.116

A synergistic approach for distributed symbolic execution using test ranges