共 50 条
- [1] Dataset Coverage for Testing Machine Learning Computer Programs [J]. 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 297 - 304
- [3] Generalized Oracle for Testing Machine Learning Computer Programs [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 174 - 179
- [4] Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs [J]. TESTING SOFTWARE AND SYSTEMS (ICTSS 2019), 2019, 11812 : 56 - 64
- [5] Ariadne: Analysis for Machine Learning Programs [J]. MAPL'18: PROCEEDINGS OF THE 2ND ACM SIGPLAN INTERNATIONAL WORKSHOP ON MACHINE LEARNING AND PROGRAMMING LANGUAGES, 2018, : 1 - 10
- [8] Software Testing for Machine Learning [J]. THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 13576 - 13582
- [9] Machine Learning for Testing Machine-Learning Hardware: A Virtuous Cycle [J]. 2022 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2022,
- [10] Synthesizing Correct Code for Machine Learning Programs [J]. PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, : 1701 - 1703