Geguang Pu

209 papers A* 19A 9B 9C 19Misc 13Journal 87Unranked 52
YearRankTypeTitle / Venue / Authors
2026 J jnl
An On-the-Fly Synthesis Framework for LTL over Finite Traces.
ACM Trans. Softw. Eng. Methodol.
Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2026 J jnl
Evaluating Privilege Usage of Agents on Real-World Tools.
CoRR
Quan Zhang, Lianhang Fu, Lvsi Lian, Gwihwan Go, Yujue Wang, Chijin Zhou, Yu Jiang, Geguang Pu
2026 J jnl
From Natural Language to Executable Properties for Property-based Testing of Mobile Apps.
CoRR
Yiheng Xiong, Ting Su, Jingling Sun, Jue Wang, Qin Li, Geguang Pu, Zhendong Su
2026 J jnl
MEMTS: Internalizing Domain Knowledge via Parameterized Memory for Retrieval-Free Domain Adaptation of Time Series Foundation Models.
CoRR
Xiaoyun Yu, Li Fan, Xiangfei Qiu, Nanqing Dong, Yonggui Huang, Honggang Qi, Geguang Pu, Wanli Ouyang, Xi Chen, Jilin Hu
2026 J jnl
Verify Claimed Text-to-Image Models via Boundary-Aware Prompt Optimization.
CoRR
Zidong Zhao, Yihao Huang, Qing Guo, Tianlin Li, Anran Li, Kailong Wang, Jin Song Dong, Geguang Pu
2025 A conf
A Compositional Framework for On-the-Fly LTL
ECAI
Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu
2025 J jnl
A Compositional Framework for On-the-Fly LTLf Synthesis.
CoRR
Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu
2025 J jnl
A Study of In-Context-Learning-Based Text-to-SQL Errors.
CoRR
Jiawei Shen, Chengcheng Wan, Ruoyi Qiao, Jiazhen Zou, Hang Xu, Yuchen Shao, Yueling Zhang, Weikai Miao, Geguang Pu
2025 — conf
Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores.
SPIN
Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu, Ofer Strichman
2025 J jnl
Automated detection of atomicity violations in large-scale systems.
CoRR
Hang He, Yixing Luo, Chengcheng Wan, Ting Su, Haiying Sun, Geguang Pu
2025 J jnl
Beyond Pixels: Semantic-aware Typographic Attack for Geo-Privacy Protection.
CoRR
Jiayi Zhu, Yihao Huang, Yue Cao, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Geguang Pu, Bin Wang
2025 A* conf
Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation.
ASE
Yibo Dong, Yicong Xu, Wenjing Deng, Yu Chen, Xiaoyu Zhang, Jianwen Li, Chengyu Zhang, Geguang Pu
2025 — conf
Efficient Universal Goal Hijacking with Semantics-guided Prompt Organization.
ACL (1)
Yihao Huang, Chong Wang, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Jian Zhang, Yang Liu, Geguang Pu
2025 — conf
IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving.
ICSE Companion
Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu
2025 — conf
Optimizing Input Minimization in Kernel Fuzzing.
USENIX ATC
Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li
2025 A* conf
Perception-Guided Jailbreak Against Text-to-Image Models.
AAAI
Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu
2025 J jnl
Privacy Protection Against Personalized Text-to-Image Synthesis via Cross-image Consistency Constraints.
CoRR
Guanyu Wang, Kailong Wang, Yihao Huang, Mingyi Zhou, Zhang Qing cnwatcher, Geguang Pu, Li Li
2025 J jnl
Revisiting Assumptions Ordering in CAR-Based Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman
2025 — conf
Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report).
ISSTA Companion
Yihua Xu, Chengyu Zhang, Geguang Pu
2025 — conf
Runtime Verification of Tactical Data Link.
ISSREW
Qian Wang, Zhiyuan Hu, Wei Ma, Qiang Chen, Yueling Zhang, Geguang Pu
2025 J jnl
Scale-Invariant Adversarial Attack Against Arbitrary-Scale Super-Resolution.
IEEE Trans. Inf. Forensics Secur.
Yihao Huang, Xin Luo, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Weikai Miao, Geguang Pu, Yang Liu
2025 J jnl
Scale-Invariant Adversarial Attack against Arbitrary-scale Super-resolution.
CoRR
Yihao Huang, Xin Luo, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Weikai Miao, Geguang Pu, Yang Liu
2025 J jnl
Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models.
CoRR
Fan Yang, Yihao Huang, Jiayi Zhu, Ling Shi, Geguang Pu, Jin Song Dong, Kailong Wang
2025 Misc conf
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal.
TASE
Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu
2024 Misc conf
Architecture-Agnostic Iterative Black-Box Certified Defense Against Adversarial Patches.
ICASSP
Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu
2024 — conf
CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning.
ICANN (1)
Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu
2024 J jnl
Concept Guided Co-saliency Objection Detection.
CoRR
Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu
2024 J jnl
CosalPure: Learning Concept from Group Images for Robust Co-Saliency Detection.
CoRR
Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu
2024 A* conf
Cosalpure: Learning Concept from Group Images for Robust Co-Saliency Detection.
CVPR
Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu
2024 J jnl
Dodging DeepFake Detection via Implicit Spatial-Domain Notch Filtering.
IEEE Trans. Circuits Syst. Video Technol.
Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu
2024 J jnl
Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models.
CoRR
Fan Yang, Yihao Huang, Kailong Wang, Ling Shi, Geguang Pu, Yang Liu, Haoyu Wang
2024 J jnl
Experimenting a New Programming Practice with LLMs.
CoRR
Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu
2024 A* conf
FIPSER: Improving Fairness Testing of DNN by Seed Prioritization.
ASE
Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang, Chengcheng Wan, Ting Su, Geguang Pu
2024 A* conf
General and Practical Property-based Testing for Android Apps.
ASE
Yiheng Xiong, Ting Su, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su
2024 J jnl
Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective.
CoRR
Yihao Huang, Kaiyuan Yu, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Tianlin Li, Geguang Pu, Yang Liu
2024 — conf
Model-Guided Synthesis for LTL over Finite Traces.
VMCAI (1)
Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi
2024 J jnl
Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network.
IEEE Trans. Multim.
Yihao Huang, Felix Juefei-Xu, Qing Guo, Geguang Pu, Yang Liu
2024 J jnl
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts.
CoRR
Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2024 J jnl
Perception-guided Jailbreak against Text-to-Image Models.
CoRR
Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu
2024 A* conf
Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models.
AAAI
Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang, Yutong Wu, Ming Hu, Tianlin Li, Geguang Pu, Yang Liu
2024 — conf
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps.
SIGSOFT FSE Companion
Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu
2024 J jnl
Revisiting Assumptions Ordering in CAR-Based Model Checking.
CoRR
Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman
2024 — conf
S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm.
SFPVV
Yilongfei Xu, Zhewei Wang, Jinhao Liang, Yueling Zhang, Jincao Feng, Weikai Miao, Jiangtao Wang, Geguang Pu
2024 J jnl
Semantic-guided Prompt Organization for Universal Goal Hijacking against LLMs.
CoRR
Yihao Huang, Chong Wang, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Jian Zhang, Geguang Pu, Yang Liu
2024 J jnl
Text Modality Oriented Image Feature Extraction for Detecting Diffusion-based DeepFake.
CoRR
Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Run Wang, Geguang Pu, Yang Liu
2024 J jnl
Texture Re-Scalable Universal Adversarial Perturbation.
IEEE Trans. Inf. Forensics Secur.
Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, Yang Liu
2024 J jnl
Texture Re-scalable Universal Adversarial Perturbation.
CoRR
Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, Yang Liu
2023 A* conf
ALA: Naturalness-aware Adversarial Lightness Attack.
ACM Multimedia
Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu
2023 J jnl
Accelerate Safety Model Checking Based on Complementary Approximate Reachability.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu
2023 A conf
An Empirical Study of Functional Bugs in Android Apps.
ISSTA
Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su
2023 J jnl
Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches.
CoRR
Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu
2023 — conf
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android.
ESEC/SIGSOFT FSE
Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su
2023 J jnl
Characterizing and Finding System Setting-Related Defects in Android Apps.
IEEE Trans. Software Eng.
Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su
2023 J jnl
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2023 — conf
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.
TACAS (2)
Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu
2023 — conf
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
ESEC/SIGSOFT FSE
Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu
2023 — conf
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps.
ESEC/SIGSOFT FSE
Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su
2023 — conf
Searching for i-Good Lemmas to Accelerate Safety Model Checking.
CAV (2)
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu
2023 J jnl
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework.
CoRR
Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu
2022 J jnl
ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations.
CoRR
Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu
2022 A conf
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.
ICCAD
Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman
2022 J jnl
FakeLocator: Robust Localization of GAN-Based Face Manipulations.
IEEE Trans. Inf. Forensics Secur.
Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu
2022 J jnl
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.
CoRR
Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu
2022 — conf
Masked Faces with Faced Masks.
ECCV Workshops (1)
Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu
2022 J jnl
Masked Faces with Faced Masks.
CoRR
Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu
2022 J jnl
Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles.
J. Circuits Syst. Comput.
Qiang Wang, Guang Kou, Longquan Chen, Ying He, Weipeng Cao, Geguang Pu
2022 J jnl
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.
IEEE Trans. Software Eng.
Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2021 J jnl
AdvBokeh: Learning to Adversarially Defocus Blur.
CoRR
Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu
2021 A* conf
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.
ACM Multimedia
Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
2021 J jnl
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.
CoRR
Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
2021 J jnl
Blockchain and Federated Learning for Collaborative Intrusion Detection in Vehicular Edge Computing.
IEEE Trans. Veh. Technol.
Hong Liu, Shuaipeng Zhang, Pengfei Zhang, Xinqiang Zhou, Xuebin Shao, Geguang Pu, Yan Zhang
2021 A conf
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.
ICCAD
Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu
2021 J jnl
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.
Proc. ACM Program. Lang.
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su
2021 Misc conf
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.
TASE
Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu
2021 — conf
On the Power of Automata Minimization in Temporal Synthesis.
GandALF
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi
2021 A* conf
On-the-fly Synthesis for LTL over Finite Traces.
AAAI
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi
2021 A conf
Understanding and finding system setting-related defects in Android apps.
ISSTA
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
2020 A* conf
Accelerating All-SAT Computation with Short Blocking Clauses.
ASE
Yueling Zhang, Geguang Pu, Jun Sun
2020 J jnl
Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing.
IEEE Trans. Veh. Technol.
Hong Liu, Pengfei Zhang, Geguang Pu, Tao Yang, Sabita Maharjan, Yan Zhang
2020 — conf
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
ESEC/SIGSOFT FSE
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2020 J jnl
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.
CoRR
Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 A* conf
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
ACM Multimedia
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 J jnl
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
CoRR
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
2020 J jnl
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.
CoRR
Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
2020 A* conf
LTLƒ Synthesis with Fairness and Stability Assumptions.
AAAI
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
2020 A* conf
MemLock: memory usage guided fuzzing.
ICSE
Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu
2020 J jnl
Optimizing backbone filtering.
Sci. Comput. Program.
Yueling Zhang, Min Zhang, Geguang Pu
2020 A conf
Reinforcement Learning Guided Symbolic Execution.
SANER
Jie Wu, Chengyu Zhang, Geguang Pu
2020 C conf
SAT-Based Automata Construction for LTL over Finite Traces.
APSEC
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu
2020 J jnl
SAT-based explicit LTLf satisfiability checking.
Artif. Intell.
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier
2019 — conf
Finding and understanding bugs in software model checkers.
ESEC/SIGSOFT FSE
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
2019 C conf
First-Order vs. Second-Order Encodings for LTL
TAMC
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2019 J jnl
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation.
CoRR
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2019 J jnl
Generating adversarial examples for DNN using pooling layers.
J. Intell. Fuzzy Syst.
Yueling Zhang, Geguang Pu, Min Zhang, William Y
2019 — conf
Intersection and Rotation of Assumption Literals Boosts Bug-Finding.
VSTTE
Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier
2019 J jnl
LTLf Synthesis with Fairness and Stability Assumptions.
CoRR
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
2019 A* conf
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.
ASE
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
2019 J jnl
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.
CoRR
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
2019 A* conf
SAT-Based Explicit LTLf Satisfiability Checking.
AAAI
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
2019 J jnl
SAT-based explicit LTL reasoning and its application to satisfiability checking.
Formal Methods Syst. Des.
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi
2019 C conf
SMTBCF: Efficient Backbone Computing for SMT Formulas.
ICFEM
Yueling Zhang, Geguang Pu, Min Zhang
2018 J jnl
Accelerating LTL satisfiability checking by SAT solvers.
J. Log. Comput.
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
2018 J jnl
An explicit transition system construction approach to LTL satisfiability checking.
Formal Aspects Comput.
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
2018 J jnl
Efficiently Manifesting Asynchronous Programming Errors in Android Apps.
CoRR
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu
2018 A* conf
Efficiently manifesting asynchronous programming errors in Android apps.
ASE
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu
2018 J jnl
Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci.
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao
2018 J jnl
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps.
CoRR
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2018 A* conf
Large-scale analysis of framework-specific exceptions in Android apps.
ICSE
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2018 J jnl
Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis.
IEEE Trans. Reliab.
Zuohua Ding, Yuan Zhou, Geguang Pu, MengChu Zhou
2018 J jnl
Preface for the special issue for ATVA 2015.
Acta Informatica
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
2018 J jnl
SAT-based Explicit LTLf Satisfiability Checking.
CoRR
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
2018 — conf
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.
CAV (2)
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi
2018 J jnl
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry.
CoRR
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
2018 — conf
Smartunit: empirical evaluations for automated unit testing of embedded software in industry.
ICSE (SEIP)
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
2018 J jnl
Towards Efficient Data-flow Test Data Generation Using KLEE.
CoRR
Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu
2018 J jnl
Towards Efficient Data-flow Test Data Generation.
CoRR
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su
2018 J jnl
Towards backbone computing: A Greedy-Whitening based approach.
AI Commun.
Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
2017 J jnl
A Survey on Data-Flow Testing.
ACM Comput. Surv.
Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
2017 J jnl
A Symbolic Approach to Safety LTL Synthesis.
CoRR
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 — conf
A Symbolic Approach to Safety ltl Synthesis.
Haifa Verification Conference
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 J jnl
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics.
IEEE Trans. Parallel Distributed Syst.
Mingsong Chen, Yongxiang Bao, Xin Fu, Geguang Pu, Tongquan Wei
2017 — conf
Guided, stochastic model-based GUI testing of Android apps.
ESEC/SIGSOFT FSE
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su
2017 Misc conf
Optimizing backbone filtering.
TASE
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
2017 A conf
Safety model checking with complementary approximations.
ICCAD
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
2017 A* conf
Symbolic LTLf Synthesis.
IJCAI
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 J jnl
Symbolic LTLf Synthesis.
CoRR
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2016 J jnl
Approximate Reachability.
CoRR
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
2016 C conf
Automated Requirements Validation for ATP Software via Specification Review and Testing.
ICFEM
Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong
2016 J jnl
Automated coverage-driven testing: combining symbolic execution and model checking.
Sci. China Inf. Sci.
Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
2016 J jnl
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques.
IEEE Trans. Computers
Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra
2015 B ed.
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
ATVA
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
2015 — conf
Combining Symbolic Execution and Model Checking for Data Flow Testing.
ICSE (1)
Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
2015 C conf
Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis.
KSEM
Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su
2015 B conf
Formal Development of a Real-Time Operating System Memory Manager.
ICECCS
Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang
2015 — conf
Modeling and Verifying Google File System.
HASE
Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
2015 B conf
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.
CONCUR
Fu Song, Weikai Miao, Geguang Pu, Min Zhang
2015 — conf
SAT-Based Explicit LTL Reasoning.
Haifa Verification Conference
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2015 J jnl
SAT-based Explicit LTL Reasoning.
CoRR
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2014 — conf
Aalta: an LTL satisfiability checker over Infinite/Finite traces.
SIGSOFT FSE
Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He
2014 — conf
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.
SERE
Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao
2014 Misc conf
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking.
TASE
Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang
2014 Misc conf
Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.
VLSID
Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu
2014 J jnl
Fast LTL Satisfiability Checking by SAT Solvers.
CoRR
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
2014 C conf
Formalizing Google File System.
PRDC
Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu
2014 A conf
LTLf Satisfiability Checking.
ECAI
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2014 J jnl
LTLf satisfiability checking.
CoRR
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2014 — conf
Runtime Verification by Convergent Formula Progression.
APSEC (1)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
2014 J jnl
The semantics and verification of timed service choreography.
Int. J. Comput. Math.
Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su
2013 J jnl
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci.
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
2013 Misc conf
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis.
CODES+ISSS
Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He
2013 — conf
Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning.
ISVLSI
Mingsong Chen, Saijie Huang, Geguang Pu, Prabhat Mishra
2013 C conf
LTL Satisfiability Checking Revisited.
TIME
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2013 — conf
On the Relationship between LTL Normal Forms and Büchi Automata.
Theories of Programming and Formal Methods
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen
2013 J jnl
Polsat: A Portfolio LTL Satisfiability Solver.
CoRR
Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He
2012 Misc conf
A Type System for SPARDL.
TASE
Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu
2012 C conf
An Approach to Requirement Analysis for Periodic Control Systems.
SEW
Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu
2012 — conf
MDM: A Mode Diagram Modeling Framework
FTSCS
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
2012 J jnl
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
CoRR
Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
2012 J jnl
On the Relationship between LTL Normal Forms and Buechi Automata
CoRR
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
2012 J jnl
The stochastic semantics and verification for periodic control systems.
Sci. China Inf. Sci.
Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
2011 — conf
A Unifying Approach to Validating Specification-Oriented XML Constraints.
HASE
Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu
2011 — conf
An Event-B Interpretation for SPARDL Model.
HASE
Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu
2010 Misc conf
A Formal Model for Service Choreography with Exception Handling and Finalization.
TASE
Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu
2010 — conf
A Parallel Approach to Concolic Testing with Low-cost Synchronization.
TTSS
Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang
2010 C conf
Automatically Testing Web Services Choreography with Assertions.
ICFEM
Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding
2010 — conf
Constraint Checking for XML-Based Language Specification by SAT Solver.
SSIRI (Companion)
Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu
2010 J jnl
Linking denotational semantics with operational semantics for web services.
Innov. Syst. Softw. Eng.
Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen
2010 C conf
Model-Based Methods for Linking Web Service Choreography and Orchestration.
APSEC
Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan
2010 — conf
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.
QSIC
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu
2010 — conf
SPARDL: A Requirement Modeling Language for Periodic Control System.
ISoLA (1)
Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
2010 J jnl
Web services choreography validation.
Serv. Oriented Comput. Appl.
Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu
2009 B conf
Modelling and Verification of Web Navigation.
ICWE
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders
2009 — conf
Path-Based Approach to Integration Testing.
SSIRI
Jueliang Hu, Zuohua Ding, Geguang Pu
2009 — conf
Simulation and validation of Web services choreography.
SOCA
Lei Zhou, Hao Xiao, Jing Ping, Geguang Pu, Hanyi Zhang
2009 J jnl
Static validation of WS-CDL documents.
Simul. Model. Pract. Theory
Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun
2009 Misc conf
Test Data Generation for Derived Types in C Program.
TASE
Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu
2009 — conf
Towards Scalable Compositional Test Generation.
QSIC
Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu
2009 — conf
Verification of channel passing in choreography with model checking.
SOCA
Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu
2008 Misc conf
A Bigraphical Model of WSBPEL.
TASE
Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu
2008 Misc conf
A Denotational Model for Web Services Choreography.
ICDCIT
Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He
2008 C conf
Execution Semantics for rCOS.
APSEC
Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He
2008 — ed.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007
TTSS
Geguang Pu, Volker Stolz
2008 — conf
Static Check of WS-CDL Documents.
SOSE
Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu
2007 B conf
A Formal Model for Compensable Transactions.
ICECCS
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
2007 J jnl
A model for BPEL-like languages.
Frontiers Comput. Sci. China
Jifeng He, Huibiao Zhu, Geguang Pu
2007 C conf
An Operational Approach to BPEL-like Programming.
SEW
Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li
2007 Misc conf
Conformance Validation between Choreography and Orchestration.
TASE
Jing Li, Huibiao Zhu, Geguang Pu
2007 C conf
Looking into Compensable Transactions.
SEW
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
2007 C conf
Modeling and Verifying Web Services Choreography Using Process Algebra.
SEW
Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
2007 — conf
Preface.
TTSS
Geguang Pu, Volker Stolz
2007 C conf
The Validation and Verification of WSCDL.
APSEC
Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
2007 — conf
The Verification of rCOS Using Spin.
TTSS
Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu
2007 — conf
Tool Support for BPEL Verification in ActiveBPEL Engine.
ASWEC
Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai
2006 — conf
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.
ASIAN
Huibiao Zhu, Geguang Pu, Jifeng He
2006 A conf
A Formal Model forWeb Service Choreography Description Language (WS-CDL).
ICWS
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
2006 — conf
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.
KES (1)
Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He
2006 C conf
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem.
DDECS
Geguang Pu, Jifeng He, Zongyan Qiu
2006 B conf
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.
ICECCS
Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
2006 C conf
Patterns with Algebraic Properties in BPEL0.
ISoLA
Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
2006 — conf
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
FMOODS
Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
2006 C conf
Towards the Semantics for Web Service Choreography Description Language.
ICFEM
Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
2006 C conf
Type Checking Choreography Description Language.
ICFEM
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
2005 J jnl
Exploring optimal solution to hardware/software partitioning for synchronous model.
Formal Aspects Comput.
Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
2005 B conf
Semantics of BPEL4WS-Like Fault and Compensation Handling.
FM
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
2005 — conf
Towards the Semantics and Verification of BPEL4WS.
WLFM@FM
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
2004 B conf
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
SEFM
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
2004 B conf
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.
IFM
Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
2004 — conf
Integrating Time and Resource into
SBMF
Geguang Pu, Zongyan Qiu, Jifeng He
2003 A* conf
Building a web thesaurus from web link structure.
SIGIR
Zheng Chen, Shengping Liu, Liu Wenyin, Geguang Pu, Wei-Ying Ma