Fetching the paper…
Reading the bibliography…
Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks.
An axiomatic basis for computer programming
C. A. R. Hoare · 1969
Earlier work this paper cites.
Eiffel: The Language
Bertrand Meyer · 1992
Earlier work this paper cites.
Metamorphic testing: A new approach for generating next test cases
Tsong Yueh Chen, S. C. Cheung, and Siu-Ming Yiu · 1998
Earlier work this paper cites.
Hyperproperties
Michael R. Clarkson and Fred B. Schneider · 2008
Earlier work this paper cites.
The Definitive ANTLR 4 Reference, 2nd Edition
Terence Parr · 2013
Earlier work this paper cites.
Explaining and harnessing adversarial examples
Ian J. Goodfellow, Jonathon Shlens, and Christian Szegedy · 2015
Earlier work this paper cites.
Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, and Wojciech Zaremba · 2016
Earlier work this paper cites.
How we analyzed the COMPAS recidivism algorithm, 2016
Jeff Larson, Surya Mattu, Lauren Kirchner, and Julia Angwin · 2016
Earlier work this paper cites.
A survey on metamorphic testing
Sergio Segura, Gordon Fraser, Ana B. Sánchez, and Antonio Ruiz Cortés · 2016
Earlier work this paper cites.
Cartesian Hoare logic for verifying k-safety properties
Marcelo Sousa and Isil Dillig · 2016
Earlier work this paper cites.
FairSquare: Probabilistic verification of program fairness
Aws Albarghouthi, Loris D’Antoni, Samuel Drews, and Aditya V. Nori · 2017
Earlier work this paper cites.
Towards evaluating the robustness of neural networks
Nicholas Carlini and David A. Wagner · 2017
Earlier work this paper cites.
Fairness testing: Testing software for discrimination
Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou · 2017
Earlier work this paper cites.
Safety verification of deep neural networks
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, and Min Wu · 2017
Earlier work this paper cites.
Reluplex: An efficient SMT solver for verifying deep neural networks
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer · 2017
Cited alongside, same era.
Proximal policy optimization algorithms
John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov · 2017
Cited alongside, same era.
FairTest: Discovering unwarranted associations in data-driven applications
Florian Tramèr, Vaggelis Atlidakis, Roxana Geambasu, Daniel J. Hsu, Jean-Pierre Hubaux, Mathias Humbert, Ari Juels, and Huang Lin · 2017
Cited alongside, same era.
Daniel Cer, Yinfei Yang, Sheng-yi Kong, Nan Hua, Nicole Limtiaco, Rhomni St. John, Noah Constant, Mario Guajardo-Cespedes, Steve Yuan, Chris Tar, Yun-Hsuan Sung, Brian Strope, and Ray Kurzweil · 2018
Cited alongside, same era.
Identifying implementation bugs in machine learning based image classifiers using metamorphic testing
Stable baselines3, 2019
Antonin Raffin, Ashley Hill, Maximilian Ernestus, Adam Gleave, Anssi Kanervisto, and Noah Dormann · 2019
Later among the works it cites.
An abstract domain for certifying neural networks
Gagandeep Singh, Timon Gehr, Markus Püschel, and Martin T. Vechev · 2019
Later among the works it cites.
RMT: Rule-based metamorphic testing for autonomous driving models
Yao Deng, Xi Zheng, Tianyi Zhang, Guannan Lou, Huai Liu, and Miryung Kim · 2020
Later among the works it cites.
Metamorphic testing and certified mitigation of fairness violations in NLP models
Pingchuan Ma, Shuai Wang, and Jin Liu · 2020
Later among the works it cites.
Higher income, larger loan? Monotonicity testing of machine learning models
Arnab Sharma and Heike Wehrheim · 2020
Later among the works it cites.
Testing DNN image classifiers for confusion & bias errors
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder · 2018
Cited alongside, same era.
AI2: Safety and robustness certification of neural networks with abstract interpretation
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin T. Vechev · 2018
Cited alongside, same era.
Towards deep learning models resistant to adversarial attacks
Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu · 2018
Cited alongside, same era.
DeepTest: Automated testing of deep-neural-network-driven autonomous cars
Yuchi Tian, Kexin Pei, Suman Jana, and Baishakhi Ray · 2018
Cited alongside, same era.
Automated directed fairness testing
Sakshi Udeshi, Pryanshu Arora, and Sudipta Chattopadhyay · 2018
Cited alongside, same era.
Formal security analysis of neural networks using symbolic intervals
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana · 2018
Cited alongside, same era.
Speech commands: A dataset for limited-vocabulary speech recognition
Pete Warden · 2018
Cited alongside, same era.
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems
Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, and Sarfraz Khurshid · 2018
Cited alongside, same era.
Yuchi Tian, Ziyuan Zhong, Vicente Ordonez, Gail E. Kaiser, and Baishakhi Ray · 2020
Later among the works it cites.
Perfectly parallel fairness certification of neural networks
Caterina Urban, Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang · 2020
Later among the works it cites.
Metamorphic object insertion for testing object detection systems
Shuai Wang and Zhendong Su · 2020
Later among the works it cites.
Make sure you’re unsure: A framework for verifying probabilistic specifications
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, and M. Pawan Kumar · 2021
Later among the works it cites.
BMT: Behavior driven development-based metamorphic testing for autonomous driving models
Yao Deng, Guannan Lou, James Xi Zheng, Tianyi Zhang, Miryung Kim, Huai Liu, Chen Wang, and Tsong Yueh Chen · 2021
Later among the works it cites.
Beta-CROWN: Efficient bound propagation with per-neuron split constraints for neural network robustness verification
Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, and J. Zico Kolter · 2021
Later among the works it cites.
Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, and Maria Christakis · 2022
Closest in time.
Sun, zeyu and zhang, jie m. and xiong, yingfei and harman, mark and papadakis, mike and zhang, lu
Improving Machine Translation Systems via Isotopic Replacement · 2022
Closest in time.