Lei Ma

Empir. Softw. Eng., September, 2024

LUNA: A Model-Based Universal Analysis Framework for Large Language Models.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., July, 2024

Test Input Prioritization for 3D Point Clouds.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., June, 2024

Beyond Fidelity: Explaining Vulnerability Localization of Learning-Based Detectors.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., June, 2024

Active Code Learning: Benchmarking Sample-Efficient Training of Code Models.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., May, 2024

Test Optimization in DNN Testing: A Survey.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., May, 2024

CodeBERT-Attack: Adversarial attack against source code deep learning models via pre-trained model.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., March, 2024

Generation-based Differential Fuzzing for Deep Learning Libraries.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., February, 2024

Faire: Repairing Fairness of Neural Networks via Neuron Condition Synthesis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2024

xFuzz: Machine Learning Guided Cross-Contract Fuzzing.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2024

Do Large Language Models Pay Similar Attention Like Human Programmers When Generating Code?

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

Towards Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation: An Empirical Study.

[BibT_eX]

[DOI]

CoRR, 2024

Python Symbolic Execution with LLM-powered Code Generation.

[BibT_eX]

[DOI]

CoRR, 2024

LeCov: Multi-level Testing Criteria for Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2024

Active Testing of Large Language Model via Multi-Stage Sampling.

[BibT_eX]

[DOI]

CoRR, 2024

Multilingual Blending: LLM Safety Alignment Evaluation with Language Mixture.

[BibT_eX]

[DOI]

CoRR, 2024

Vortex under Ripplet: An Empirical Study of RAG-enabled Applications.

[BibT_eX]

[DOI]

CoRR, 2024

Where Do Large Language Models Fail When Generating Code?

[BibT_eX]

[DOI]

CoRR, 2024

TESTEVAL: Benchmarking Large Language Models for Test Case Generation.

[BibT_eX]

[DOI]

CoRR, 2024

GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model.

[BibT_eX]

[DOI]

CoRR, 2024

Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing.

[BibT_eX]

[DOI]

CoRR, 2024

Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward.

[BibT_eX]

[DOI]

CoRR, 2024

Large Language Models Based Fuzzing Techniques: A Survey.

[BibT_eX]

[DOI]

CoRR, 2024

Code Ownership in Open-Source AI Software Security.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Responsible AI Engineering, 2024

PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

MetaRepair: Learning to Repair Deep Neural Networks from Repairing Experiences.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.

[BibT_eX]

[DOI]

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Technical Briefing on Deep Neural Network Repair.

[BibT_eX]

[DOI]

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Domain Generalization of 3D Object Detection by Density-Resampling.

[BibT_eX]

[DOI]

Shuangzhi Li

Xingyu Li

Proceedings of the Computer Vision - ECCV 2024, 2024

PromptCharm: Text-to-Image Generation through Multi-modal Prompting and Refinement.

[BibT_eX]

[DOI]

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023

PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing.

[BibT_eX]

[DOI]

Yuheng Huang

Yuanchun Li

ACM Trans. Softw. Eng. Methodol., November, 2023

A Survey on Automated Driving System Testing: Landscapes and Trends.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., September, 2023

<i>ArchRepair</i>: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., September, 2023

$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Jiayang Song

Xuan Xie

IEEE Trans. Software Eng., August, 2023

Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Challenges and Opportunities.

[BibT_eX]

[DOI]

Dataset, August, 2023

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., April, 2023

GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code Search.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., April, 2023

Towards understanding quality challenges of the federated learning for neural networks: a first look from the lens of robustness.

[BibT_eX]

[DOI]

Empir. Softw. Eng., March, 2023

Self-Refined Large Language Model as Automated Reward Function Designer for Deep Reinforcement Learning in Robotics.

[BibT_eX]

[DOI]

CoRR, 2023

Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Is Model Attention Aligned with Human Attention? An Empirical Study on Large Language Models for Code Generation.

[BibT_eX]

[DOI]

CoRR, 2023

NiCro: Purely Vision-based, Non-intrusive Cross-Device and Cross-Platform GUI Testing.

[BibT_eX]

[DOI]

CoRR, 2023

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2023

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.

[BibT_eX]

[DOI]

CoRR, 2023

Decompiling x86 Deep Neural Network Executables.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Demystifying Dependency Bugs in Deep Learning Stack.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Generative Model-Based Testing on Decision-Making Policies.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

When Simulator Meets Natural Deviation: A Study on Deviations in Simulation-based ADS Testing.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

GameRTS: A Regression Testing Framework for Video Games.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Widget Detection-based Testing for Industrial Mobile Games.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

CodeS: Towards Code Model Generalization Under Distribution Shift.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Neural Episodic Control with State Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Evading DeepFake Detectors via Adversarial Statistical Consistency.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

DeepLens: Interactive Out-of-distribution Data Detection in NLP Models.

[BibT_eX]

[DOI]

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

DeepGemini: Verifying Dependency Fairness for Deep Neural Network.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Machine Learning Testing: Survey, Landscapes and Horizons.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2022

Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

An Empirical Study of the Impact of Hyperparameter Tuning and Model Optimization on the Performance Properties of Deep Neural Networks.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Breaking Neural Reasoning Architectures With Metamorphic Relation-Based Adversarial Examples.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2022

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

Byzantine-Resilient Decentralized Stochastic Gradient Descent.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2022

DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions.

[BibT_eX]

[DOI]

Pattern Recognit., 2022

Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Countering Malicious DeepFakes: Survey, Battleground, and Horizon.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2022

On the usage and development of deep learning compilers: an empirical study on TVM.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

GBGallery : A benchmark and framework for game testing.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Towards Benchmarking GUI Compatibility Testing on Mobile Applications.

[BibT_eX]

[DOI]

CoRR, 2022

An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty.

[BibT_eX]

[DOI]

CoRR, 2022

AI-driven Mobile Apps: an Explorative Study.

[BibT_eX]

[DOI]

Roberto Medeiros de Souza

CoRR, 2022

Common Corruption Robustness of Point Cloud Detectors: Benchmark and Enhancement.

[BibT_eX]

[DOI]

CoRR, 2022

Efficient Testing of Deep Neural Networks via Decision Boundary Analysis.

[BibT_eX]

[DOI]

CoRR, 2022

Demystifying Dependency Bugs in Deep Learning Stack.

[BibT_eX]

[DOI]

CoRR, 2022

CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Uncertainty-Aware Cascaded Dilation Filtering for High-Efficiency Deraining.

[BibT_eX]

[DOI]

CoRR, 2022

Towards Understanding Quality Challenges of the Federated Learning: A First Look from the Lens of Robustness.

[BibT_eX]

[DOI]

Amin Eslami Abyane

Derui Zhu

Hadi Hemmati

CoRR, 2022

A<sup>3</sup>GAN: Attribute-Aware Anonymization Networks for Face De-identification.

[BibT_eX]

[DOI]

Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

An Empirical Analysis of Compatibility Issues for Industrial Mobile Games (Practical Experience Report).

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Message from the RAIS 2022 Chairs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2021

Machine Learning Guided Cross-Contract Fuzzing.

[BibT_eX]

[DOI]

CoRR, 2021

GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search.

[BibT_eX]

[DOI]

CoRR, 2021

CarveNet: Carving Point-Block for Complex 3D Shape Completion.

[BibT_eX]

[DOI]

CoRR, 2021

An empirical study of GUI widget detection for industrial mobile games.

[BibT_eX]

[DOI]

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

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

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

[BibT_eX]

[DOI]

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

Issue Categorization and Analysis of an Open-Source Driving Assistant System.

[BibT_eX]

[DOI]

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

An Empirical Study on Common Bugs in Deep Learning Compilers.

[BibT_eX]

[DOI]

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

A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning.

[BibT_eX]

[DOI]

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

Identifying Bug Patterns in Quantum Programs.

[BibT_eX]

[DOI]

Pengzhan Zhao

Jianjun Zhao

Proceedings of the 2nd IEEE/ACM International Workshop on Quantum Software Engineering, 2021

RNNRepair: Automatic RNN Repair via Model-based Analysis.

[BibT_eX]

[DOI]

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

Deepmix: Online Auto Data Augmentation for Robust Visual Object Tracking.

[BibT_eX]

[DOI]

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

Learning to Adversarially Blur Visual Object Tracking.

[BibT_eX]

[DOI]

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

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 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

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

CDA: Characterising Deprecated Android APIs.

[BibT_eX]

[DOI]

Li Li

Jun Gao

Xin Xia

Jacques Klein

Empir. Softw. Eng., 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

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

Generating Adversarial Examples withControllable Non-transferability.

[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

A first look at the integration of machine learning models in complex autonomous driving systems: a case study on Apollo.

[BibT_eX]

[DOI]

Zi Peng

Jinqiu Yang

Tse-Hsun (Peter) Chen

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations 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

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

Few-Shot Guided Mix for DNN Repairing.

[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

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

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

Generating Adversarial Examples for Holding Robustness of Source Code Processing Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 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

Experimental Evaluation of Deep Neural Network Resistance Against Fault Injection Attacks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules.

[BibT_eX]

[DOI]

CoRR, 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

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Knowledge Graphing Git Repositories: A Preliminary Study.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 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

DeepVisual: a visual programming tool for deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 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

An Empirical Study of Common Challenges in Developing Deep Learning Applications.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

DiffChaser: Detecting Disagreements for Deep Neural Networks.

[BibT_eX]

[DOI]

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

Vultron: catching vulnerable smart contracts once and for all.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems.

[BibT_eX]

[DOI]

Yang Liu

Jianjun Zhao

Proceedings of the Formal Methods and Software Engineering, 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

Desired Agent Embodiment in Various Smart House Tasks.

[BibT_eX]

[DOI]

Daisuke Sakamoto

Tetsuo Ono

Proceedings of the 7th International Conference on Human-Agent Interaction, 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

Secure Deep Learning Engineering: A Software Quality Assurance Perspective.

[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

Combinatorial Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Characterising deprecated Android APIs.

[BibT_eX]

[DOI]

Li Li

Jun Gao

Xin Xia

Jacques Klein

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

DeepGauge: multi-granularity testing criteria for deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

DeepMutation: Mutation Testing of Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Practical Fault Attack on Deep Neural Networks.

[BibT_eX]

[DOI]

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

DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models.

[BibT_eX]

[DOI]

Qiang Hu

Jianjun Zhao

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

An empirical study on the effects of code visibility on program testability.

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

Model-Based API Testing of Apache ZooKeeper.

[BibT_eX]

[DOI]

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

Collaborative Computation Offloading in Heterogeneous Asynchronous Cloud Environment.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Java Pathfinder on Android Devices.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Classification of Randomly Generated Test Cases.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Validating Software Tests, 2016

Guiding random test generation with program analysis.

[BibT_eX]

[DOI]

Cyrille Valentin Artho

Proceedings of the Software Engineering 2016, 2016

Runtime Monitoring for Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

Retrofitting automatic testing through library tests reusing.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

2015

GRT: An Automated Test Generator Using Orchestrated Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

GRT: Program-Analysis-Guided Random Testing (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

An Empirical Study on Effects of Code Visibility on Code Coverage of Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

GRT at the SBST 2015 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Incremental Web Application Testing Using Page Object.

[BibT_eX]

[DOI]

Bing Yu

Cheng Zhang

Proceedings of the Third IEEE Workshop on Hot Topics in Web Systems and Technologies, 2015

2014

Improving Automatic Centralization by Version Separation.

[BibT_eX]

[DOI]

Hiroyuki Sato

Inf. Media Technol., 2014

Project centralization based on graph coloring.

[BibT_eX]

[DOI]

Hiroyuki Sato

Proceedings of the Symposium on Applied Computing, 2014

Efficient testing of software product lines via centralization (short paper).

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Pebbles: User-Configurable Device Network for Robot Navigation.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013

Analyzing Distributed Java Applications by Automatic Centralization.

[BibT_eX]

[DOI]