Coverage Guided Testing for Recurrent Neural Networks

5 November 2019

Papers citing "Coverage Guided Testing for Recurrent Neural Networks"

22 / 22 papers shown

Title
LeCov: Multi-level Testing Criteria for Large Language Models Xuan Xie Jiayang Song Yuheng Huang Da Song Fuyuan Zhang Felix Juefei-Xu Lei Ma ELM 31 0 0 20 Aug 2024
Constraint-based Adversarial Example Synthesis Fang Yu Ya-Yu Chi Yu-Fang Chen AAML 27 0 0 03 Jun 2024
The Earth is Flat? Unveiling Factual Errors in Large Language Models Wenxuan Wang Juluan Shi Zhaopeng Tu Youliang Yuan Jen-tse Huang Wenxiang Jiao Michael R. Lyu KELM HILM SyDa 55 1 0 01 Jan 2024
DREAM: Debugging and Repairing AutoML Pipelines Xiaoyu Zhang Juan Zhai Shiqing Ma Chao Shen 23 1 0 31 Dec 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 27 6 0 20 Jul 2023
BiasAsker: Measuring the Bias in Conversational AI System Yuxuan Wan Wenxuan Wang Pinjia He Jiazhen Gu Haonan Bai Michael Lyu 29 67 0 21 May 2023
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 45 83 0 19 May 2023
MTTM: Metamorphic Testing for Textual Content Moderation Software Wenxuan Wang Jen-tse Huang Weibin Wu Jianping Zhang Yizhan Huang Shuqing Li Pinjia He Michael Lyu 58 29 0 11 Feb 2023
Short-term Load Forecasting with Distributed Long Short-Term Memory Yizhen Dong Yanghui Chen Xingyu Zhao Xiaowei Huang 18 5 0 01 Aug 2022
Hierarchical Distribution-Aware Testing of Deep Learning Wei Huang Xingyu Zhao Alec Banks V. Cox Xiaowei Huang OOD AAML 39 10 0 17 May 2022
AEON: A Method for Automatic Evaluation of NLP Test Cases Jen-tse Huang Jianping Zhang Wenxuan Wang Pinjia He Yuxin Su Michael R. Lyu 40 23 0 13 May 2022
On the Convergence and Robustness of Adversarial Training Yisen Wang Xingjun Ma James Bailey Jinfeng Yi Bowen Zhou Quanquan Gu AAML 209 345 0 15 Dec 2021
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance Yizhen Dong Wei Huang Vibhav Bharti V. Cox Alec Banks Sen Wang Xingyu Zhao S. Schewe Xiaowei Huang 25 15 0 30 Nov 2021
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications Wenjie Ruan Xinping Yi Xiaowei Huang AAML OOD 22 17 0 24 Aug 2021
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles Xingyu Zhao Wei Huang Alec Banks V. Cox David Flynn S. Schewe Xiaowei Huang AAML UQCV 28 21 0 02 Jun 2021
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features Nicolas Berthier Amany Alshareef James Sharp S. Schewe Xiaowei Huang 21 10 0 05 Mar 2021
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems Wei Huang Yifan Zhou Alec Banks Youcheng Sun Jie Meng James Sharp Xiaowei Huang 13 3 0 16 Oct 2020
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations Yanghao Zhang Wenjie Ruan Fu Lee Wang Xiaowei Huang AAML 14 24 0 15 Oct 2020
Towards the Quantification of Safety Risks in Deep Neural Networks Peipei Xu Wenjie Ruan Xiaowei Huang 6 7 0 13 Sep 2020
Reliability Validation of Learning Enabled Vehicle Tracking Youcheng Sun Yifan Zhou Simon Maskell James Sharp Xiaowei Huang 10 10 0 06 Feb 2020
Generating Natural Language Adversarial Examples M. Alzantot Yash Sharma Ahmed Elgohary Bo-Jhang Ho Mani B. Srivastava Kai-Wei Chang AAML 258 915 0 21 Apr 2018
MoleculeNet: A Benchmark for Molecular Machine Learning Zhenqin Wu Bharath Ramsundar Evan N. Feinberg Joseph Gomes C. Geniesse Aneesh S. Pappu K. Leswing Vijay S. Pande OOD 245 1,780 0 02 Mar 2017