research
∙
05/06/2023
Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems
Cyber-physical systems (CPSs) are now widely deployed in many industrial...
share
research
∙
12/27/2022
Towards Benchmarking GUI Compatibility Testing on Mobile Applications
GUI is a bridge connecting user and application. Existing GUI testing ta...
research
∙
01/20/2022
DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration
Deep neural networks (DNNs) are widely developed and applied in many are...
research
∙
04/13/2020
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Formal methods use SMT solvers extensively for deciding formula satisfia...
research
∙
12/05/2019
Perfectly Parallel Fairness Certification of Neural Networks
Recently, there is growing concern that machine-learning models, which c...
research
∙
10/14/2019
DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks
Although deep neural networks have been successful in image classificati...
research
∙
10/18/2018
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems
Reactive systems are composed of a well defined set of input events that...
research
∙
06/20/2018
Combinatorial Testing for Deep Learning Systems
Deep learning (DL) has achieved remarkable progress over the past decade...
research
∙
05/14/2018
DeepMutation: Mutation Testing of Deep Learning Systems
Deep learning (DL) defines a new data-driven programming paradigm where ...
research
∙
03/20/2018
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
Deep learning defines a new data-driven programming paradigm that constr...
research
∙
03/20/2018