Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing.

[BibT_eX]

[DOI]

Siqi Li

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Towards Exploring the Limitations of Active Learning: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Vall-nut: Principled Anti-Grey box - Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

AVA: Adversarial Vignetting Attack against Visual Recognition.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

RNNRepair: Automatic RNN Repair via Model-based Analysis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Bias Field Poses a Threat to DNN-Based X-Ray Recognition.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

Retrieval-Augmented Generation for Code Summarization via Hybrid GNN.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

Learning to Adversarially Blur Visual Object Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

SoFi: Reflection-Augmented Fuzzing for JavaScript Engines.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Research and Design of Big Data Relevance Analysis System for Land Development Industry Chain.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Computer and Communication Systems, 2021

Stealing Deep Reinforcement Learning Models for Fun and Profit.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment.

[BibT_eX]

[DOI]

CoRR, 2020

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

[BibT_eX]

[DOI]

CoRR, 2020

Adversarial Exposure Attack on Diabetic Retinopathy Imagery.

[BibT_eX]

[DOI]

CoRR, 2020

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.

[BibT_eX]

[DOI]

CoRR, 2020

It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception.

[BibT_eX]

[DOI]

CoRR, 2020

Light Can Hack Your Face! Black-box Backdoor Attack on Face Recognition Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack.

[BibT_eX]

[DOI]

CoRR, 2020

Generating Adversarial Examples withControllable Non-transferability.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Code Summarization via Multi-dimensional Semantic Fusing in GNN.

[BibT_eX]

[DOI]

CoRR, 2020

Stealing Deep Reinforcement Learning Models for Fun and Profit.

[BibT_eX]

[DOI]

CoRR, 2020

ABBA: Saliency-Regularized Motion-Based Adversarial Blur Attack.

[BibT_eX]

[DOI]

CoRR, 2020

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.

[BibT_eX]

[DOI]

CoRR, 2020

An Empirical Study in Software Verification Tools.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Watch out! Motion is Blurring the Vision of Your Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Amora: Black-box Adversarial Morphing Attack.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Audee: Automated Testing for Deep Learning Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Regression Testing of Massively Multiplayer Online Role-Playing Games.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

MemLock: memory usage guided fuzzing.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Typestate-guided fuzzer for discovering use-after-free vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

SPARK: Spatial-Aware Online Incremental Attack Against Visual Tracking.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Automatic Loop Summarization via Path Dependency Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Amora: Black-box Adversarial Morphing Attack.

[BibT_eX]

[DOI]

CoRR, 2019

Spatial-aware Online Adversarial Perturbations Against Visual Object Tracking.

[BibT_eX]

[DOI]

CoRR, 2019

FakeSpotter: A Simple Baseline for Spotting AI-Synthesized Fake Faces.

[BibT_eX]

[DOI]

CoRR, 2019

A Co-Occurrence Recommendation Model of Software Security Requirement.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Locating vulnerabilities in binaries via memory layout recovering.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Cerebro: context-aware adaptive fuzzing for effective vulnerability detection.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

DeepStellar: model-based quantitative analysis of stateful deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Coverage-Guided Fuzzing for Feedforward Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepMutation++: A Mutation Testing Framework for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Quantitative Analysis Framework for Recurrent Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepHunter: a coverage-guided fuzz testing framework for deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Cross-project Defect Prediction via ASTToken2Vec and BLSTM-based Neural Network.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

DiffChaser: Detecting Disagreements for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Performance Optimization from Code Changes for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Safe Inputs Approximation for Black-Box Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms.

[BibT_eX]

[DOI]

CoRR, 2018

Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer.

[BibT_eX]

[DOI]

CoRR, 2018

Coverage-Guided Fuzzing for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Hawkeye: Towards a Desired Directed Grey-box Fuzzer.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Loopster: static loop termination analysis.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

FESR: A Framework for Eliciting Security Requirements Based on Integration of Common Criteria and Weakness Detection Formal Model.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Termination of Monotone Programs.

[BibT_eX]

[DOI]

CoRR, 2016

Proteus: computing disjunctive loop summary via path dependency analysis.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Static loop analysis and its applications.

[BibT_eX]

[DOI]

Xiaofei Xie

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

S-looper: automatic summarization for multipath string loops.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Automatic Verification for Later-Correspondence of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

2006

Temporal Correlation Based Speech Feature Processing and its Application to Speaker Recognition.

[BibT_eX]

[DOI]

Xiaofei Xie

ChengGong Yu

Proceedings of the IEEE International Conference on Systems, 2006

Xiaofei Xie

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...