相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Metamorphic Relations for Enhancing System Understanding and Use
Zhi Quan Zhou et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2020)
Explanation in artificial intelligence: Insights from the social sciences
Tim Miller
ARTIFICIAL INTELLIGENCE (2019)
Metamorphic Testing of Driverless Cars
Zhi Quan Zhou et al.
COMMUNICATIONS OF THE ACM (2019)
Preventing undesirable behavior of intelligent machines
Philip S. Thomas et al.
SCIENCE (2019)
Fairness-Aware Programming
Aws Albarghouthi et al.
FAT*'19: PROCEEDINGS OF THE 2019 CONFERENCE ON FAIRNESS, ACCOUNTABILITY, AND TRANSPARENCY (2019)
Testing Untestable Neural Machine Translation: An Industrial Case
Wujie Zheng et al.
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019) (2019)
Input Prioritization for Testing Neural Networks
Taejoon Byun et al.
2019 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING (AITEST) (2019)
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing
Jingyi Wang et al.
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019) (2019)
Towards Improved Testing For Deep Learning
Jasmine Sekhon et al.
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2019) (2019)
Detecting Failures of Neural Machine Translation in the Absence of Reference Translations
Wenyu Wang et al.
49TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2019): INDUSTRY TRACK (2019)
DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems
Lei Ma et al.
2019 IEEE 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER) (2019)
Boosting Operational DNN Testing Efficiency through Conditioning
Zenan Li et al.
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2019)
Storm: Program Reduction for Testing and Debugging Probabilistic Programming Systems
Saikat Dutta et al.
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2019)
Software Engineering for Machine Learning: A Case Study
Saleema Amershi et al.
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2019) (2019)
DeepBase: Deep Inspection of Neural Networks
Thibault Sellam et al.
SIGMOD '19: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA (2019)
Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?
Jie M. Zhang et al.
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019) (2019)
Testing Machine Learning Algorithms for Balanced Data Usage
Arnab Sharma et al.
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019) (2019)
code2vec: Learning Distributed Representations of Code
Uri Alon et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2019)
Calibration of medical diagnostic classifier scores to the probability of disease
Weijie Chen et al.
STATISTICAL METHODS IN MEDICAL RESEARCH (2018)
Enabling Adaptability in Web Forms Based on User Characteristics Detection Through A/B Testing and Machine Learning
Juan Cruz-Benito et al.
IEEE ACCESS (2018)
Adaptation of General Concepts of Software Testing to Neural Networks
Yu L. Karpov et al.
PROGRAMMING AND COMPUTER SOFTWARE (2018)
MuNN: Mutation Analysis of Neural Networks
Weijun Shen et al.
2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C) (2018)
A Monte Carlo Method for Metamorphic Testing of Machine Translation Services
Daniel Pesu et al.
2018 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2018) (2018)
A Survey of Software Quality for Machine Learning Applications
Satoshi Masuda et al.
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW) (2018)
A Test Architecture for Machine Learning Product
Yasuharu Nishi et al.
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW) (2018)
Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments
Fuyuki Ishikawa
CONCEPTUAL MODELING, ER 2018 (2018)
Failing to Learn: Autonomously Identifying Perception Failures for Self-Driving Cars
Manikandasriram Srinivasan Ramanagopal et al.
IEEE ROBOTICS AND AUTOMATION LETTERS (2018)
DeepMutation: Mutation Testing of Deep Learning Systems
Lei Ma et al.
2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE) (2018)
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
Jianmin Guo et al.
ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2018)
MISTIQUE: A System to Store and Query Model Intermediates for Model Diagnosis
Manasi Vartak et al.
SIGMOD'18: PROCEEDINGS OF THE 2018 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA (2018)
Metamorphic Testing for Machine Translations: MT4MT
Liqun Sun et al.
2018 25TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC) (2018)
Fruit recognition from images using deep learning
Horea Muresan et al.
ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA (2018)
Test data reuse for evaluation of adaptive machine learning algorithms: Overfitting to a fixed test dataset and a potential solution
Alexej Gossmann et al.
MEDICAL IMAGING 2018: IMAGE PERCEPTION, OBSERVER PERFORMANCE, AND TECHNOLOGY ASSESSMENT (2018)
Automating Large-Scale Data Quality Verification
Sebastian Schelter et al.
PROCEEDINGS OF THE VLDB ENDOWMENT (2018)
A survey on deep learning in medical image analysis
Geert Litjens et al.
MEDICAL IMAGE ANALYSIS (2017)
Fairness Testing: Testing Software for Discrimination
Sainyam Galhotra et al.
ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING (2017)
Repairing Decision-Making Programs Under Uncertainty
Aws Albarghouthi et al.
COMPUTER AIDED VERIFICATION, CAV 2017, PT I (2017)
An Empirical Study on Real Bugs for Machine Learning Programs
Xiaobing Sun et al.
2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017) (2017)
FairTest: Discovering Unwarranted Associations in Data-Driven Applications
Florian Tramer et al.
2017 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P) (2017)
Data Management Challenges in Production Machine Learning
Neoklis Polyzotis et al.
SIGMOD'17: PROCEEDINGS OF THE 2017 ACM INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA (2017)
Easy over Hard: A Case Study on Deep Learning
Wei Fu et al.
ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING (2017)
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz et al.
COMPUTER AIDED VERIFICATION, CAV 2017, PT I (2017)
Towards Evaluating the Robustness of Neural Networks
Nicholas Carlini et al.
2017 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP) (2017)
TFX: A TensorFlow-Based Production-Scale Machine Learning Platform
Denis Baylor et al.
KDD'17: PROCEEDINGS OF THE 23RD ACM SIGKDD INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING (2017)
The MovieLens Datasets: History and Context
F. Maxwell Harper et al.
ACM TRANSACTIONS ON INTERACTIVE INTELLIGENT SYSTEMS (2016)
How the machine 'thinks': Understanding opacity in machine learning algorithms
Jenna Burrell
BIG DATA & SOCIETY (2016)
A Framework for Ensuring the Quality of a Big Data Service
Junhua Ding et al.
PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2016) (2016)
The Oracle Problem in Software Testing: A Survey
Earl T. Barr et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2015)
Machine learning: Trends, perspectives, and prospects
M. I. Jordan et al.
SCIENCE (2015)
Calibrating Probability with Undersampling for Unbalanced Classification
Andrea Dal Pozzolo et al.
2015 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI) (2015)
DeepDriving: Learning Affordance for Direct Perception in Autonomous Driving
Chenyi Chen et al.
2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV) (2015)
Compiler Validation via Equivalence Modulo Inputs
Vu Le et al.
ACM SIGPLAN NOTICES (2014)
A data-driven approach to predict the success of bank telemarketing
Sergio Moro et al.
DECISION SUPPORT SYSTEMS (2014)
Drebin: Effective and Explainable Detection of Android Malware in Your Pocket
Daniel Arp et al.
21ST ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2014) (2014)
An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing
Kelly Androutsopoulos et al.
36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014) (2014)
On the assessment of the added value of new predictive biomarkers
Weijie Chen et al.
BMC MEDICAL RESEARCH METHODOLOGY (2013)
State of the art: Dynamic symbolic execution for automated test generation
Ting Chen et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2013)
A systematic review of software robustness
Ali Shahrokni et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2013)
Vision meets robotics: The KITTI dataset
A. Geiger et al.
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH (2013)
Squeeziness: An information theoretic measure for avoiding fault masking
David Clark et al.
INFORMATION PROCESSING LETTERS (2012)
Classifier variability: Accounting for training and testing
Weijie Chen et al.
PATTERN RECOGNITION (2012)
An Analysis and Survey of the Development of Mutation Testing
Yue Jia et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2011)
Testing and validating machine learning classifiers by metamorphic testing
Xiaoyuan Xie et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2011)
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Mark Harman et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
A systematic review of search-based testing for non-functional system properties
Wasif Afzal et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2009)
A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making
Anthony Finkelstein et al.
REQUIREMENTS ENGINEERING (2009)
MuJava: an automated class mutation system
YS Ma et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2005)
The problem of overfitting
DM Hawkins
JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES (2004)
Search-based software test data generation: a survey
P McMinn
SOFTWARE TESTING VERIFICATION & RELIABILITY (2004)
Search-based software engineering
M Harman et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2001)
Feature selection and classifier performance in computer-aided diagnosis: The effect of finite sample size
B Sahiner et al.
MEDICAL PHYSICS (2000)