TrustAI: Tool Demos

The following are a few demos our team developed:

DeepConcolic (Github repository)

• Testing Deep Neural Networks. arXiv
• Concolic testing for deep neural networks. ASE2018
• DeepConcolic: testing and debugging deep neural networks. ICSE2019
• Structural Test Coverage Criteria for Deep Neural Networks. ACM Transactions on Embedded Computing Systems (TECS)

Reliability validation of a learning-enabled dynamic tracking system (Github repository)

• Reliability Validation of Learning Enabled Vehicle Tracking. arXiv

PRODeep : a platform for robustness verification of deep neural networks (Github repository)

• PRODeep : a platform for robustness verification of deep neural networks. arXiv

testRNN (Github repository)

• Test Metrics for Recurrent Neural Networks. arXiv