default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeguang Pu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j33]Yihao Huang
, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu:
Dodging DeepFake Detection via Implicit Spatial-Domain Notch Filtering. IEEE Trans. Circuits Syst. Video Technol. 34(8): 6949-6962 (2024)- [j32]Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, Yang Liu:
Texture Re-Scalable Universal Adversarial Perturbation. IEEE Trans. Inf. Forensics Secur. 19: 8291-8305 (2024) - [j31]Yihao Huang, Felix Juefei-Xu, Qing Guo, Geguang Pu, Yang Liu:
Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network. IEEE Trans. Multim. 26: 5729-5740 (2024) - [c107]Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang, Yutong Wu, Ming Hu, Tianlin Li, Geguang Pu, Yang Liu:
Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models. AAAI 2024: 21169-21178 - [c106]Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu:
Cosalpure: Learning Concept from Group Images for Robust Co-Saliency Detection. CVPR 2024: 3669-3678 - [c105]Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu:
CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. ICANN (1) 2024: 463-477 - [c104]Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu:
Architecture-Agnostic Iterative Black-Box Certified Defense Against Adversarial Patches. ICASSP 2024: 5985-5989 - [c103]Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu:
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. SIGSOFT FSE Companion 2024: 440-451 - [c102]Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi:
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) 2024: 186-207 - [i37]Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu:
Experimenting a New Programming Practice with LLMs. CoRR abs/2401.01062 (2024) - [i36]Yihao Huang, Kaiyuan Yu, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Tianlin Li, Geguang Pu, Yang Liu:
Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective. CoRR abs/2402.02738 (2024) - [i35]Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu:
CosalPure: Learning Concept from Group Images for Robust Co-Saliency Detection. CoRR abs/2403.18554 (2024) - [i34]Yihao Huang, Chong Wang, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Jian Zhang, Geguang Pu, Yang Liu:
Semantic-guided Prompt Organization for Universal Goal Hijacking against LLMs. CoRR abs/2405.14189 (2024) - [i33]Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Run Wang, Geguang Pu, Yang Liu:
Text Modality Oriented Image Feature Extraction for Detecting Diffusion-based DeepFake. CoRR abs/2405.18071 (2024) - [i32]Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, Yang Liu:
Texture Re-scalable Universal Adversarial Perturbation. CoRR abs/2406.06089 (2024) - [i31]Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. CoRR abs/2408.07324 (2024) - [i30]Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu:
Perception-guided Jailbreak against Text-to-Image Models. CoRR abs/2408.10848 (2024) - 2023
- [j30]Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu:
Accelerate Safety Model Checking Based on Complementary Approximate Reachability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(9): 3105-3117 (2023) - [j29]Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su:
Characterizing and Finding System Setting-Related Defects in Android Apps. IEEE Trans. Software Eng. 49(4): 2941-2963 (2023) - [c101]Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu:
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) 2023: 288-308 - [c100]Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su:
An Empirical Study of Functional Bugs in Android Apps. ISSTA 2023: 1319-1331 - [c99]Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu:
ALA: Naturalness-aware Adversarial Lightness Attack. ACM Multimedia 2023: 2418-2426 - [c98]Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su:
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. ESEC/SIGSOFT FSE 2023: 592-604 - [c97]Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su:
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. ESEC/SIGSOFT FSE 2023: 1088-1100 - [c96]Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu:
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. ESEC/SIGSOFT FSE 2023: 1914-1925 - [c95]Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu:
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. TACAS (2) 2023: 36-43 - [i29]Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu:
Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches. CoRR abs/2305.10929 (2023) - [i28]Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He:
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR abs/2306.01260 (2023) - [i27]Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu:
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. CoRR abs/2307.11379 (2023) - 2022
- [j28]Qiang Wang, Guang Kou, Longquan Chen, Ying He, Weipeng Cao, Geguang Pu:
Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles. J. Circuits Syst. Comput. 31(14): 2250249:1-2250249:22 (2022) - [j27]Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu:
FakeLocator: Robust Localization of GAN-Based Face Manipulations. IEEE Trans. Inf. Forensics Secur. 17: 2657-2672 (2022) - [j26]Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su:
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. IEEE Trans. Software Eng. 48(4): 1115-1137 (2022) - [c94]Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu:
Masked Faces with Faced Masks. ECCV Workshops (1) 2022: 360-377 - [c93]Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman:
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. ICCAD 2022: 126:1-126:9 - [i26]Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu:
ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations. CoRR abs/2201.06070 (2022) - [i25]Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu:
Masked Faces with Faced Masks. CoRR abs/2201.06427 (2022) - [i24]Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu:
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. CoRR abs/2203.12903 (2022) - 2021
- [j25]Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su:
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. Proc. ACM Program. Lang. 5(OOPSLA): 1-31 (2021) - [j24]Hong Liu, Shuaipeng Zhang, Pengfei Zhang, Xinqiang Zhou, Xuebin Shao, Geguang Pu, Yan Zhang:
Blockchain and Federated Learning for Collaborative Intrusion Detection in Vehicular Edge Computing. IEEE Trans. Veh. Technol. 70(6): 6073-6084 (2021) - [c92]Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces. AAAI 2021: 6530-6537 - [c91]Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu:
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. ICCAD 2021: 1-9 - [c90]Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su:
Understanding and finding system setting-related defects in Android apps. ISSTA 2021: 204-215 - [c89]Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. ACM Multimedia 2021: 395-403 - [c88]Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu:
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. TASE 2021: 183-190 - [c87]Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi:
On the Power of Automata Minimization in Temporal Synthesis. GandALF 2021: 117-134 - [i23]Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. CoRR abs/2107.06501 (2021) - [i22]Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu:
AdvBokeh: Learning to Adversarially Defocus Blur. CoRR abs/2111.12971 (2021) - 2020
- [j23]Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier:
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289: 103369 (2020) - [j22]Yueling Zhang, Min Zhang, Geguang Pu:
Optimizing backbone filtering. Sci. Comput. Program. 187: 102374 (2020) - [j21]Hong Liu, Pengfei Zhang, Geguang Pu, Tao Yang, Sabita Maharjan, Yan Zhang:
Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing. IEEE Trans. Veh. Technol. 69(4): 4221-4232 (2020) - [c86]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI 2020: 3088-3095 - [c85]Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu:
SAT-Based Automata Construction for LTL over Finite Traces. APSEC 2020: 1-10 - [c84]Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu:
MemLock: memory usage guided fuzzing. ICSE 2020: 765-777 - [c83]Yueling Zhang, Geguang Pu, Jun Sun:
Accelerating All-SAT Computation with Short Blocking Clauses. ASE 2020: 6-17 - [c82]Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. ACM Multimedia 2020: 1217-1226 - [c81]Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He:
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE 2020: 1376-1386 - [c80]Jie Wu, Chengyu Zhang, Geguang Pu:
Reinforcement Learning Guided Symbolic Execution. SANER 2020: 662-663 - [i21]Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. CoRR abs/2001.09598 (2020) - [i20]Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. CoRR abs/2006.07533 (2020) - [i19]Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise. CoRR abs/2009.09213 (2020)
2010 – 2019
- 2019
- [j20]Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54(2): 164-190 (2019) - [j19]Yueling Zhang, Geguang Pu, Min Zhang, William Y:
Generating adversarial examples for DNN using pooling layers. J. Intell. Fuzzy Syst. 37(4): 4615-4620 (2019) - [c79]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019: 2946-2953 - [c78]Yueling Zhang, Geguang Pu, Min Zhang:
SMTBCF: Efficient Backbone Computing for SMT Formulas. ICFEM 2019: 36-51 - [c77]Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu:
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. ASE 2019: 1166-1169 - [c76]Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su:
Finding and understanding bugs in software model checkers. ESEC/SIGSOFT FSE 2019: 763-773 - [c75]Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. TAMC 2019: 684-705 - [c74]Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier:
Intersection and Rotation of Assumption Literals Boosts Bug-Finding. VSTTE 2019: 180-192 - [i18]Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. CoRR abs/1901.06108 (2019) - [i17]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLf Synthesis with Fairness and Stability Assumptions. CoRR abs/1912.07804 (2019) - [i16]Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu:
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. CoRR abs/1912.07817 (2019) - 2018
- [j18]Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Preface for the special issue for ATVA 2015. Acta Informatica 55(8): 625-626 (2018) - [j17]Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li:
Towards backbone computing: A Greedy-Whitening based approach. AI Commun. 31(3): 267-280 (2018) - [j16]Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao:
Formal modelling of list based dynamic memory allocators. Sci. China Inf. Sci. 61(12): 122103:1-122103:16 (2018) - [j15]Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He:
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30(2): 193-217 (2018) - [j14]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28(6): 1011-1030 (2018) - [j13]Zuohua Ding, Yuan Zhou, Geguang Pu, MengChu Zhou:
Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. IEEE Trans. Reliab. 67(3): 1143-1158 (2018) - [c73]Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi:
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) 2018: 37-44 - [c72]Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu:
Smartunit: empirical evaluations for automated unit testing of embedded software in industry. ICSE (SEIP) 2018: 296-305 - [c71]Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su:
Large-scale analysis of framework-specific exceptions in Android apps. ICSE 2018: 408-419 - [c70]Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu:
Efficiently manifesting asynchronous programming errors in Android apps. ASE 2018: 486-497 - [i15]Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su:
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps. CoRR abs/1801.07009 (2018) - [i14]Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu:
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry. CoRR abs/1802.08547 (2018) - [i13]Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu:
Towards Efficient Data-flow Test Data Generation Using KLEE. CoRR abs/1803.06516 (2018) - [i12]Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su:
Towards Efficient Data-flow Test Data Generation. CoRR abs/1803.10431 (2018) - [i11]Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu:
Efficiently Manifesting Asynchronous Programming Errors in Android Apps. CoRR abs/1808.03178 (2018) - [i10]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-based Explicit LTLf Satisfiability Checking. CoRR abs/1811.03176 (2018) - 2017
- [j12]Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su:
A Survey on Data-Flow Testing. ACM Comput. Surv. 50(1): 5:1-5:35 (2017) - [j11]Mingsong Chen, Yongxiang Bao, Xin Fu, Geguang Pu, Tongquan Wei:
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics. IEEE Trans. Parallel Distributed Syst. 28(5): 1299-1314 (2017) - [c69]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference 2017: 147-162 - [c68]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Safety model checking with complementary approximations. ICCAD 2017: 95-100 - [c67]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. IJCAI 2017: 1362-1369 - [c66]Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su:
Guided, stochastic model-based GUI testing of Android apps. ESEC/SIGSOFT FSE 2017: 245-256 - [c65]Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song:
Optimizing backbone filtering. TASE 2017: 1-8 - [i9]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. CoRR abs/1705.08426 (2017) - [i8]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety LTL Synthesis. CoRR abs/1709.07495 (2017) - 2016
- [j10]Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su:
Automated coverage-driven testing: combining symbolic execution and model checking. Sci. China Inf. Sci. 59(9): 98101 (2016) - [j9]Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra:
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques. IEEE Trans. Computers 65(7): 2059-2073 (2016) - [c64]Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong:
Automated Requirements Validation for ATP Software via Specification Review and Testing. ICFEM 2016: 26-40 - [i7]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Approximate Reachability. CoRR abs/1611.04946 (2016) - 2015
- [c63]Fu Song, Weikai Miao, Geguang Pu, Min Zhang:
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. CONCUR 2015: 383-397 - [c62]Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song:
Modeling and Verifying Google File System. HASE 2015: 207-214 - [c61]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference 2015: 209-224 - [c60]Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang:
Formal Development of a Real-Time Operating System Memory Manager. ICECCS 2015: 130-139 - [c59]Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su:
Combining Symbolic Execution and Model Checking for Data Flow Testing. ICSE (1) 2015: 654-665 - [c58]Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su:
Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. KSEM 2015: 115-127 - [e2]Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Lecture Notes in Computer Science 9364, Springer 2015, ISBN 978-3-319-24952-0 [contents] - [i6]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-based Explicit LTL Reasoning. CoRR abs/1507.02519 (2015) - 2014
- [j8]Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su:
The semantics and verification of timed service choreography. Int. J. Comput. Math. 91(3): 384-402 (2014) - [c57]Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen:
Runtime Verification by Convergent Formula Progression. APSEC (1) 2014: 255-262 - [c56]