PUBLICATION | Smart Software Engineering Lab

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps

Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su

IEEE Transactions on Software Engineering · 01 Apr 2022

Software Analysis and Testing

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations

Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu

arXiv · 19 Jan 2022

Computer Vision

FakeLocator: Robust Localization of GAN-Based Face Manipulations

Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu

arXiv · 24 Nov 2021

Computer Vision

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs

Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su

Proceedings of the ACM on Programming Languages · 20 Oct 2021

Software Analysis and Testing

Source

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning

Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu

Proceedings of the 29th ACM International Conference on Multimedia · 17 Oct 2021

Computer Vision

Understanding and finding system setting-related defects in Android apps

Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis · 11 Jul 2021

Software Analysis and Testing

Source

On-the-fly Synthesis for LTL over Finite Traces

Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Vardi

Proceedings of the AAAI Conference on Artificial Intelligence · 18 May 2021

Logic

Accelerating all-SAT computation with short blocking clauses

Yueling Zhang, Geguang Pu, Jun Sun

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering · 21 Dec 2020

Software Analysis and Testing

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering · 07 Nov 2020

Requirement Analysis

Validating SMT solvers via semantic fusion

Dominik Winterer, Chengyu Zhang, Zhendong Su

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation · 06 Jun 2020

Software Analysis and Testing

Source

Finding and understanding bugs in software model checkers

Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su

Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering · 12 Aug 2019

Software Analysis and Testing

Source