A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
In the past few years, significant progress has been made on deep neural networks (DNNs)
in achieving human-level performance on several long-standing tasks. With the broader …
in achieving human-level performance on several long-standing tasks. With the broader …
On testing machine learning programs
Nowadays, we are witnessing a wide adoption of Machine learning (ML) models in many
software systems. They are even being tested in safety-critical systems, thanks to recent …
software systems. They are even being tested in safety-critical systems, thanks to recent …
Machine learning testing: Survey, landscapes and horizons
This paper provides a comprehensive survey of techniques for testing machine learning
systems; Machine Learning Testing (ML testing) research. It covers 144 papers on testing …
systems; Machine Learning Testing (ML testing) research. It covers 144 papers on testing …
Testing deep neural networks
Deep neural networks (DNNs) have a wide range of applications, and software employing
them must be thoroughly tested, especially in safety-critical domains. However, traditional …
them must be thoroughly tested, especially in safety-critical domains. However, traditional …
Ijon: Exploring deep state spaces via fuzzing
Although current fuzz testing (fuzzing) methods are highly effective, there are still many
situations such as complex state machines where fully automated approaches fail. State-of …
situations such as complex state machines where fully automated approaches fail. State-of …
Applications of AI in classical software engineering
Abstract Although Artificial Intelligence (AI) has become a buzzword for self-organizing IT
applications, its relevance to software engineering has hardly been analyzed systematically …
applications, its relevance to software engineering has hardly been analyzed systematically …
Deepmutation++: A mutation testing framework for deep learning systems
Deep neural networks (DNNs) are increasingly expanding their real-world applications
across domains, eg, image processing, speech recognition and natural language …
across domains, eg, image processing, speech recognition and natural language …
[PDF][PDF] Metamorphic Testing and Certified Mitigation of Fairness Violations in NLP Models.
Natural language processing (NLP) models have been increasingly used in sensitive
application domains including credit scoring, insurance, and loan assessment. Hence, it is …
application domains including credit scoring, insurance, and loan assessment. Hence, it is …
Metamorphic object insertion for testing object detection systems
Recent advances in deep neural networks (DNNs) have led to object detectors (ODs) that
can rapidly process pictures or videos, and recognize the objects that they contain. Despite …
can rapidly process pictures or videos, and recognize the objects that they contain. Despite …
Verification for machine learning, autonomy, and neural networks survey
This survey presents an overview of verification techniques for autonomous systems, with a
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …